mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit fba6f2a14e1c24c61eee3caf593051141440b48e) IJ-CR-147273 GitOrigin-RevId: 746885db78abf4cbe87ae689a5ddf8a5cee78bec