mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 43390d23feddef2549fa4be09c2328149df8ea77) IJ-CR-183645 GitOrigin-RevId: 30af068386be165d3cf135c95d0048552ca97108