# editorconfig.org

# top-most EditorConfig file
root = true

[*]
insert_final_newline = true
indent_size = 2
indent_style = space
trim_trailing_whitespace = true

[{Makefile,CoqMakefile.local}]
indent_style = tab
indent_size = 4