aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '')
-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