add coq-categories as a submodule

[coq-hetmet.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
new file mode 100644 (file)
index 0000000..cf3cae9
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src/categories"]
+       path = src/categories
+       url = http://git.megacz.com/coq-categories.git/