Skip to main content

Browse the archive

Revision 325b727f5ddd42fb7a0b39e9d67d753010938f92 authored by Jonathan Protzenko on 02 April 2019, 13:27:49 UTC, committed by Jonathan Protzenko on 02 April 2019, 13:27:49 UTC 
Merge branch 'fstar-master' of pro.github.com:mitls/hacl-star into fstar-master
2 parent s c3c2349 + 9bf461c
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