aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-02-19 15:37:37 -0500
committerRyan Kavanagh <rak@debian.org>2013-02-19 15:37:37 -0500
commitd3bbe4f074c1489331b68d2f32112a77cdd6228f (patch)
tree373fa289674f287001c6f3c176f306c664f04514 /.gitmodules
parentDisable host checking for localhost (diff)
Add popup so that auto-complete can build
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
index 388ede7..5f2626e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,3 +10,6 @@
[submodule "emacsen/proofgeneral"]
path = emacsen/proofgeneral
url = git@github.com:emacsmirror/proofgeneral.git
+[submodule "emacsen/popup"]
+ path = emacsen/popup
+ url = git@github.com:auto-complete/popup-el.git