mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-18 12:31:26 +07:00
(cherry picked from commit de9b492eb32220d016223baee65c3956502d9ef4) IJ-CR-101246 GitOrigin-RevId: fa893906877a34d3242b8cc43bb10ac4d749819b