mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 3c42739b57ae734cf070d362f4c13bc35e4f42fa) IJ-MR-180115 GitOrigin-RevId: 290fd315b60c82f2c16e00cb427e2a716b5a5703