mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit bce089714657aef8634ffb9c58da57fdb576b297) IJ-CR-112218 GitOrigin-RevId: 8857c2951e44a1e9d0b54af1eb7c584f64fbc40d