aboutsummaryrefslogblamecommitdiff
path: root/.gitmodules
blob: 1b5835cdccb874c7368d2f7978b45662a793cbe3 (plain) (tree)
1
2
3
4
5
6
7
8
9


                                                            





                                                              


                                                         


                                                       


                                                      





                                               
[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
[submodule "emacsen/popup"]
	path = emacsen/popup
	url = git@github.com:auto-complete/popup-el.git
[submodule "emacsen/markdown-mode"]
	path = emacsen/markdown-mode
	url = git://jblevins.org/git/markdown-mode.git
[submodule "dictem"]
	path = dictem
	url = git@github.com:cheusov/dictem.git
[submodule "emacsen/dictem"]
	path = emacsen/dictem
	url = git@github.com:cheusov/dictem.git