mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 05:21:29 +07:00
(cherry picked from commit 5a006f0689f3694bdeb82c122249b10670f351e5) IJ-MR-145968 GitOrigin-RevId: 2919c3965eb985b5b1ce0d39b2205a2ed5bedf05