mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit d333b78045e444cff39e9b784141cb21f8c38900) IJ-MR-159792 GitOrigin-RevId: f7155bd292100357e2ee3ea4a03610599ae476c5