mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 308f4606546afabfc0d2d0d427b1cd47a211b046) IJ-MR-153304 GitOrigin-RevId: 1a1b20f48a9bb473171c8bed2f1c03d3676060a5