mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-08 21:52:48 +07:00
(cherry picked from commit c10c2fcb4b799595ee3a7f94dff85e6e3c0d6562) IJ-MR-196806 GitOrigin-RevId: aa357116e8e5f2a577e765751f1eb5d4654de435