mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
(cherry picked from commit e55e88e2f8606860c6696afaacf51e17b7ca6bba) IJ-CR-173221 GitOrigin-RevId: e976a9402db73ef8eaa7307ed774bb3c561be21e