mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit b96dd4f1362296d81c85d89800cc1f1b641f477e) IJ-CR-170331 GitOrigin-RevId: 942358a4d5bca95df58772d0815e2c6fdd2dc2ce