mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 05:21:29 +07:00
(cherry picked from commit ebcfdcd957aa4a53991090ec1985bcf3f47b2d1e) (cherry picked from commit 06c3e24982b9beb6494b561b744e3c42da897441) IJ-MR-155570 GitOrigin-RevId: 6498dd21f64d439d3924e1af4a6cd44fb8957e39