mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(cherry picked from commit 7f317902f2df8f5cb099924b42b2b08aaaa724fd) IJ-MR-164103 GitOrigin-RevId: 91cecc5360756f222d62f9555cae6370281b8e6f