mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit faed76860dbfc008facd65afc6d44cc29efa342c) IJ-CR-175460 GitOrigin-RevId: c9851b9bdd27505d6bc59b00070ebc5860ebb11d