mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
Extracted out of IJ-MR-158642 Merge-request: IJ-MR-158886 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 00c1bd3e4f6e964f332580aaf08007a66591fd6e