Commit graph

2 commits

Author SHA1 Message Date
Karol Gugala
553f82580e update gitattributes
Signed-off-by: Karol Gugala <kgugala@antmicro.com>
2020-06-09 22:16:32 +02:00
Tim 'mithro' Ansell
70b13fe74a Adding .gitattributes to fix Coq detection.
Signed-off-by: Tim 'mithro' Ansell <tansell@google.com>
2020-06-08 15:35:25 -07:00