mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit d7e83cbd29935d8e6bd3de1c638a99015630d405) IJ-MR-154935 GitOrigin-RevId: c9a030de590aab084d714dfc66bc038122c9c034