mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit eadc1bb4a205cbe2da2f60beae4885dd85971283) IJ-CR-170020 GitOrigin-RevId: 0d5aea292f6c8b4b1f42119b0310134ad70d7bf6