mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-25 21:16:44 +07:00
(cherry picked from commit d638ef7c27e14e035daf0222bc4d06c404e4b2fd) IJ-CR-195254 GitOrigin-RevId: 76b68b61e75bf2629b3b331b40a75f33a56989ae