mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 1a42c215342b3c328ee11e65a58d80bae85ea85f) IJ-CR-172916 GitOrigin-RevId: cc7ca83198faa03987201005023906dd2a79f1ff