mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit 534054e22547571f41fce485789c5c5c8bc53ecb) IJ-CR-149159 GitOrigin-RevId: 41f76a131fc39d8ff1e3ecf40863c6f80eb1538a