mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 50ad24fb91692345982d0097e15c00efa5d0e895) (cherry picked from commit 4bd249081cf311d35f434151d2d2bb0949cb342b) IJ-MR-150633 GitOrigin-RevId: cb18abab9aa45a34a9a38644247ced781aab5cf8