mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit e999d59db54671c107f49e46acad6609040d238d) IJ-CR-156416 GitOrigin-RevId: 341e4c6e4423aee99c83a2f24a5e1256f1b18785