mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
(cherry picked from commit 067ea6e8c77f1df5cc2b91c5984ae2ef9a9cdcee) IJ-CR-158093 GitOrigin-RevId: a188846ccc2caf9d9b9d54f58f34e4b9d2910d99