search

mit-plv / coqutil

Coq library for tactics, basic definitions, sets, maps
MIT License
41 stars 24 forks source link

Add .gitattributes #21

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

This makes checkout and development on Windows easier, and makes my job of adding a Windows CI runner to fiat-crypto significantly easier.