mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit be14b29bff136432e74978dae719bcc00329f440) IJ-CR-196065 GitOrigin-RevId: 478c5634b5d0d527721e8f0eddca1647a2e6caaf