mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 0494abd9a4274fd2f99060b0abac2c3d811e464c) Merge-request: IJ-MR-165224 Merged-by: Mikhail Pyltsin <Mikhail.Pyltsin@jetbrains.com> GitOrigin-RevId: 529d8d46671227fc00385d133ae01cec723de55f