mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Drafted while working on IDEA-107390 Merge-request: IJ-MR-165236 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 7bae2c19691a5e10ec5101863e36ec8a5454f70d