mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 61623e582c856479d4a2222ef33a73178831e074) IJ-CR-156030 GitOrigin-RevId: 450b280f93a17b3c8500b6cfeaf9be7464e4edd3