mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 11:00:04 +07:00
(cherry picked from commit 5e57bb637d8ad66ffd186b8dcc130da7f090e731) IJ-MR-182106 GitOrigin-RevId: b88151eeb2c83a326b26d285e11b6e2a3f2a5f0e