mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 7f317902f2df8f5cb099924b42b2b08aaaa724fd) IJ-MR-164103 GitOrigin-RevId: 91cecc5360756f222d62f9555cae6370281b8e6f