Skip to main content

Browse the archive

Revision 7bb769a4677fd3cdd9f9399a02e0b5788f8ad172 authored by Jonathan Protzenko on 04 January 2020, 14:25:52 UTC, committed by Jonathan Protzenko on 04 January 2020, 14:25:52 UTC 
One more round of tweaks to the documentation
1 parent 7ccaf2b
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