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