mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit f823121ce4adc23d6e9b8e03b87b8b19a789a46b) (cherry picked from commit 93d7530c7ce0ba60fee5d1d0e909a39ce3b9dc65) IJ-CR-147319 GitOrigin-RevId: d6dd4a5f63f172685df3e1a1c0d3d6cbcb063071