mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
^KTIJ-25138 fixed Merge-request: IJ-MR-106634 Merged-by: Frederik Haselmeier <Frederik.Haselmeier@jetbrains.com> GitOrigin-RevId: 7d1470370faec4b35f960853fd27750d8af0803a