mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit 0eecf0ffb305ab17d5758f20b44c4f2791ab0b02) IJ-CR-149696 GitOrigin-RevId: 8efb9c569ea8c4c00226d3b4307ff5602f782098