mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 38f6a5ea451df4f811f94904d78bbde6b002b73a) IJ-MR-155983 GitOrigin-RevId: 03d49eb926e30b77eadc96e2b5b7f923d15456d6