mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-11 11:36:59 +07:00
(cherry picked from commit c8a61ecc43754144679e5afc9f4623c02f558597) IJ-MR-170092 GitOrigin-RevId: 612862aa2ce338a8f18e13197f483b936c9d0cdb