mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
(cherry picked from commit f79dc536b7bbd516005524118a4451291b408e80) IJ-CR-210513 GitOrigin-RevId: 416984570dc3bc838ff6520d867f2b206c5b6eae