mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit 1d45e3a101acc23c503939d5a4be1af70c60921f) IJ-MR-159792 GitOrigin-RevId: 24bd2a0272183669f478a8cfe9697abdd6194516