mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 125504d8af961ab0289182714ebed35d09f0508c) IJ-CR-149472 GitOrigin-RevId: 18f0e9a16d80a96627ee03a82ee81f2f3b526603