mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit f61fe1eee284cc4a9a10ec9d82abe30cb240636d) (cherry picked from commit 704b77f3b8700d0294d5395446f57f7fbbe52df6) IJ-MR-173754 GitOrigin-RevId: e82afe360f55406bbb8d79b4b75133e4cc01a4d2