mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 20:41:22 +07:00
(cherry picked from commit bf02e3a97601b4252d80157b132a5960069bba9f) IJ-CR-147195 GitOrigin-RevId: 7d789a44df27bf81f3d8dfaa0091af4074688049