X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=.gitmodules;fp=.gitmodules;h=cf3cae923b1a58ed257f87694cfd563c377e0335;hp=0000000000000000000000000000000000000000;hb=8dc348a407d7a476388401765b24f7815cc801cf;hpb=2781475898f19d1f7f00b395d8be3c3cdddaefaf

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
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/