mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Merge-request: IJ-MR-165184 Merged-by: Kirill Bochkarev <kirill.bochkarev@jetbrains.com> GitOrigin-RevId: 3ad3ff204e29bc18bd8e705c7a5cb8e77869d699