further work on CenterMonoidal
[coq-categories.git] / .gitignore
1 build/
2 build/**