mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Merge-request: IJ-MR-156825 Merged-by: Ilia Epelbaum <ilia.epelbaum@jetbrains.com> GitOrigin-RevId: bee18331d1ba03b4853efd655d4b03940ce99fae