add coq-categories as a submodule
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 21 Mar 2011 01:57:07 +0000 (18:57 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 21 Mar 2011 01:57:07 +0000 (18:57 -0700)
commit8dc348a407d7a476388401765b24f7815cc801cf
tree9ac4817b7d70afd069facf4949b757b10bbb3d6f
parent2781475898f19d1f7f00b395d8be3c3cdddaefaf
add coq-categories as a submodule
.gitmodules [new file with mode: 0644]
Makefile
src/categories [new submodule]