Skip to main content

Browse the archive

Revision 80959a62f88e802338d9ee5004342451e04339d6 authored by Jonathan Protzenko on 01 April 2019, 17:13:35 UTC, committed by Jonathan Protzenko on 01 April 2019, 17:13:35 UTC 
Merge remote-tracking branch 'origin/_vale_poly1305' into fstar-master
2 parent s 5213e8f + 06a210d
Raw File
.gitattributes 
*.fst eol=lf
*.fsti eol=lf
*.hints eol=lf -diff linguist-generated
Makefile eol=lf
Makefile.* eol=lf
*.sh text eol=lf
back to top