+[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 "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 "smex"] # used by counsel-M-x
+ path = lib/smex
+ url = git@github.com:nonsequitur/smex.git
+[submodule "tao-theme"]
+ path = lib/tao-theme
+ url = git@github.com:11111000000/tao-theme-emacs.git
+ remote = aminb git@github.com:aminb/tao-theme-emacs.git