# 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
*.fst eol=lf
*.fsti eol=lf
*.fs* eol=lf
*.ml* eol=lf
*.hints eol=lf

# Don't show diffs for generated ocaml-output files
*.hints -diff

# Checked modules
*.checked binary
*.checked.lax binary