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