mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 05616ebf1942be69312011456986cc1b8de67254) IJ-MR-184516 GitOrigin-RevId: b9bd75d057ff0d5ff46ee0f2b3185649c2778412