mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 13:31:28 +07:00
(cherry picked from commit b70afea7ebf7d26414f4e7b65bfe69a7c356d824) IJ-MR-140907 GitOrigin-RevId: ae3ec8b2f22869f10db150bb4f67a4700721e132