mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit d3b501d38398df6f405c09120549b9b73776d4ea) IJ-CR-168833 GitOrigin-RevId: 86f9679b5ce0a6a57bdd9b57552c7563abc85854