mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 794fed31ba948708eb45c0fe9a1c34ad7b4b0aae) IJ-MR-179093 GitOrigin-RevId: 7950cafb091efd4e9320ccb92d1df8345f5ac612