mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 78721044fad224d56dd3439c577bffd0098ff8a8) IJ-CR-139669 GitOrigin-RevId: 1cc78b4bf95df3c1aa87d102a4a9a39721acb9cf