Skip to main content

Browse the archive

Revision f5fbc4eb1184ad2f354c286a87aef33f53ec06f6 authored by Pierre Roux on 19 March 2022, 20:26:51 UTC, committed by Andres Erbsen on 20 March 2022, 20:24:54 UTC 
Adapt to coq/coq#15754
1 parent 60180c1
Raw File
.gitattributes 
# copied from fiat-crypto's .gitattributes for Windows compatibility

* text=auto

*.sh   text eol=lf
*.c    text
*.h    text
*.rs   text
*.go   text
back to top