mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
(cherry picked from commit 8095dd3db50ec157adb3ca78373ed9c817532fc1) IJ-CR-158096 GitOrigin-RevId: 016cc9f4b995523da85bd68fb0d1e71606ec8d66