mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 15:06:56 +07:00
(cherry picked from commit 4143f765119a50430d19cd4c1389c8e889e92073) IJ-MR-137985 GitOrigin-RevId: 859b1ee8b722d07bb31af13c57b634665d57c904