mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit b17d01fbb8ab6b76563ce05947a5fdbd3237164f) IJ-MR-149862 GitOrigin-RevId: c1937de59da5ce01ca48b96423b03540c239dcf3