mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 08:09:39 +07:00
propagate parent virtual file to the copy (e.g. for EditorConfig) GitOrigin-RevId: 95e851791e78687720c06bab861efe792e55633c
propagate parent virtual file to the copy (e.g. for EditorConfig) GitOrigin-RevId: 95e851791e78687720c06bab861efe792e55633c