mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 02:04:23 +07:00
(cherry picked from commit 64d9931ee762c8ac801114e22952f3086235467a) IJ-MR-182362 GitOrigin-RevId: 12ab6cde41b9c855fbee843176df00d9daba8e39