https://github.com/AU-COBRA/ConCert
Tip revision: 93a7088382bfa623337aa219ba555323e8f4d131 authored by Danil Annenkov on 03 May 2022, 08:57:42 UTC
Tweak doc style
Tweak doc style
Tip revision: 93a7088
.editorconfig
# 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