mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 12:31:26 +07:00
(cherry picked from commit dbe8d89894671ddd858483910185cca3f2113b7a) IJ-CR-124368 GitOrigin-RevId: 1dd37468343dcf0f9b4a197d97a761a59d119620