mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
(cherry picked from commit 448f88ce96042ed144d922ca80aeb0bfcfde8be6) (cherry picked from commit d904019061229c07fe5df4ed717069ec06e0fd06) IJ-MR-169535 GitOrigin-RevId: 3bacb8104f0bde46fc4185cfa7743786d5111298