mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
closes https://github.com/JetBrains/intellij-community/pull/3307 (cherry picked from commit 472384cafd7dc3fe74a679d6fe50fe0938bc473b) IJ-MR-183214 GitOrigin-RevId: 998106f96f28c24201f250b2b2b69390cb276c07