blob: 388ede75a4c53dc90fba6146cd44ee28d01025b6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
[submodule "emacsen/auto-complete"]
path = emacsen/auto-complete
url = git@github.com:auto-complete/auto-complete.git
[submodule "emacsen/auto-indent-mode"]
path = emacsen/auto-indent-mode
url = https://github.com/mlf176f2/auto-indent-mode.el/
[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
|