mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit 99659628ac1514c83a1ac4820ef53558b10d6526) IJ-CR-149566 GitOrigin-RevId: 94bd1112772f6d479c299456f691825a026410bb