mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 1ccb5215bdf101f106882691cc4f5253a4a8b74d) IJ-MR-162360 GitOrigin-RevId: 04a228ce8fd8b07d3698cc38f943638058125f34