mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 02:09:59 +07:00
(cherry picked from commit 691a49606384e0be73e144c2930a307d582b335a) IJ-MR-193978 GitOrigin-RevId: bdd1f31a9555603a60e9d0df7f2ea95e2a1d0e7d