aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-19 14:37:50 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-19 14:37:50 -0500
commit8064284fe3e2a276d9310d04d0c593ed6ced527b (patch)
treef8c4ff00b5b312dc5ac6efd5b07ac5869281bae5 /.gitmodules
parentAdded .emacs and glue to make it compile packages on every system (diff)
Added proofgeneral
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 7c2a476..388ede7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -7,3 +7,6 @@
[submodule "emacsen/magit"]
path = emacsen/magit
url = git@github.com:magit/magit.git
+[submodule "emacsen/proofgeneral"]
+ path = emacsen/proofgeneral
+ url = git@github.com:emacsmirror/proofgeneral.git