mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
(cherry picked from commit 70cd9da021fa3874222a5489111ca3eb33cba84b) IJ-MR-165585 GitOrigin-RevId: c9291bfb2f05c699170c068c7cca0aee2328308a