Commit graph

1 commit

Author SHA1 Message Date
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