mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
closes https://github.com/JetBrains/intellij-community/pull/2927 (cherry picked from commit 86371b242ca832f4f8cacf70e5e22e003f46f8de) (cherry picked from commit cca9a98c413087f6a84f2a726060a5d3d5dbad31) IJ-MR-158649 GitOrigin-RevId: 5d2b8b4132a27426ef172d7ea6b24ee5c1baa042