mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 555ccb10fac941d723ba6d0ffb4a8f354c187377) IJ-CR-148366 GitOrigin-RevId: e1197a4a4c115a81556705c491a489e93d2f0fa4