mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 21:11:28 +07:00
Merge-request: IJ-MR-146087 Merged-by: Vladimir Shefer <Vladimir.Shefer@jetbrains.com> GitOrigin-RevId: 735494c4980f921cf414fc99077cd4cf1472e382