initial checkin of coq-categories library
[coq-categories.git] / .gitignore
2011-03-11 Adam Megaczinitial checkin of coq-categories library