mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit ade086bbbd88acf8137226caf492624b546246d2) IJ-CR-150752 GitOrigin-RevId: 579131f5133e1d1b8e9734baf7c7661fed3a40a7