mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 15a648ee4cd01ec9dc638214e3f3cd30a72c70c9) IJ-CR-147819 GitOrigin-RevId: 1f62fe7c588175b9ba89d50daa909231aca5557a