Revision f8dc6fbf8af24198c75a5d237cff25a4e8d01493 authored by Jonathan Protzenko on 29 March 2020, 22:30:29 UTC, committed by Jonathan Protzenko on 29 March 2020, 22:30:29 UTC
1 parent aa7c574
.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
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...