mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 09:12:22 +07:00
(cherry picked from commit 0906a3a855f5cc0f5bb85572120aab56a67146b5) IJ-CR-149013 GitOrigin-RevId: 83f32ee5e2e832da65d7266d2ed44611939d1998