Skip to main content

Browse the archive

Revision 3893d8e808631ed0b8917a6c37a48d27edaa73f8 authored by Tahina Ramananandro on 01 July 2018, 01:55:33 UTC, committed by Tahina Ramananandro on 01 July 2018, 01:55:33 UTC 
Another attempt: ~ 35 s
1 parent a0eaed1
Raw File
.gitattributes 
*.fst eol=lf
*.fsti eol=lf
*.hints eol=lf
Makefile eol=lf
Makefile.* eol=lf
back to top