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