mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Merge-request: IJ-MR-145233 Merged-by: Victor Turansky <victor.turansky@jetbrains.com> GitOrigin-RevId: 5f22e4e1bca7d006250b46898907e10b183a6469