mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
Merge-request: IJ-MR-146013 Merged-by: Dmitrii Drobotov <dmitry.drobotov@jetbrains.com> GitOrigin-RevId: 274e2837c30eb77ac14559766c40125c30777b07