Skip to main content

Browse the archive

Revision 122750f5a3390c04bda3a29dc17cf8036cd2936e authored by Dzomo, the Everest Yak on 31 March 2021, 08:28:17 UTC, committed by Dzomo, the Everest Yak on 31 March 2021, 08:28:17 UTC 
[CI] regenerate hints and dist
1 parent 01ba1a3
Raw File
.gitattributes 
# Linguist
*.fst linguist-language=FStar
*.fst linguist-documentation=false
*.fsti linguist-language=FStar
*.fsti linguist-documentation=false

# Line endings
Makefile.* eol=lf
Makefile eol=lf
configure eol=lf
.gitignore eol=lf
.ignore eol=lf
*.sh text eol=lf
*.fst eol=lf
*.fsti eol=lf
*.ml* eol=lf
*.hints eol=lf -diff linguist-generated
back to top