mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 3465d129105300a18b6c9116617cf756aa15d188) (cherry picked from commit 10842aa79b01c067c959787333a212b170a6f8ce) IJ-MR-169535 GitOrigin-RevId: 4aaa7e37cd2ddfdf14230c2a69a7346f4b0ed0d4