+[submodule "page-break-lines"]
+ path = lib/page-break-lines
+ url = git@github.com:purcell/page-break-lines.git
+[submodule "pkg-info"]
+ path = lib/pkg-info
+ url = git@github.com:lunaryorn/pkg-info.el.git
+[submodule "popup"]
+ path = lib/popup
+ url = git@github.com:auto-complete/popup-el.git
+[submodule "projectile"]
+ path = lib/projectile
+ url = git@github.com:bbatsov/projectile.git
+[submodule "proof-site"] # Proof General
+ path = lib/proof-site
+ url = git@github.com:ProofGeneral/PG.git
+[submodule "rich-minority"]
+ path = lib/rich-minority
+ url = git@github.com:Malabarba/rich-minority.git
+[submodule "s"]
+ path = lib/s
+ url = git@github.com:magnars/s.el.git
+[submodule "shrink-path"]
+ path = lib/shrink-path
+ url = git@gitlab.com:bennya/shrink-path.el.git
+[submodule "shut-up"]
+ path = lib/shut-up
+ url = git@github.com:cask/shut-up.git
+[submodule "smart-mode-line"]
+ path = lib/smart-mode-line
+ url = git@github.com:Malabarba/smart-mode-line.git