Cleaned gitatributes

This commit is contained in:
Denis Merigoux 2022-02-04 14:09:16 +01:00
parent 0ff633179d
commit 2b58dbbc34
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3

6
.gitattributes vendored
View File

@ -1,6 +1,10 @@
*.catala* linguist-language=Markdown
*.ml linguist-language=OCaml
*.fst linguist-language=Fstar
*.mld linguist-documentation
*.md linguist-documentation
*.hints linguist-generated
french_law/js/french_law.js binary linguist-generated
french_law/ocaml/law_source/allocations_familiales.ml binary linguist-generated
french_law/ocaml/law_source/unit_tests/tests_allocations_famiales.ml binary linguist-generated
french_law/python/src/allocations_familiales.py binary linguist-generated
compiler/surface/lexer*.cppo.ml text encoding=latin-1