mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 94b7508656b9f68681340541e77e5c6989e7e18f) IJ-CR-107213 GitOrigin-RevId: c00afc6a1fce10b85ecabd11b8f5fce9960b13ee