https://github.com/AU-COBRA/ConCert
Tip revision: 3382e48f12d66f18c49ca20d9094d5864c4bb8a9 authored by 4ever2 on 24 May 2022, 20:50:09 UTC
Dexter1 tests (#171)
Dexter1 tests (#171)
Tip revision: 3382e48
.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