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