mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
closes https://github.com/JetBrains/intellij-community/pull/3261 (cherry picked from commit f404f2c93bd42b9bda09d4f72da4cde3d4cbfa44) (cherry picked from commit c6f866423aea6eaf13abe8af3777db99546b95ae) IJ-MR-179919 GitOrigin-RevId: ae5793d2845f8448d4cfdc35910c555fb79387c5