+[submodule "pdf-tools"]
+ path = lib/pdf-tools
+ url = git@github.com:politza/pdf-tools.git
+ build-step = make
+ build-step = borg-byte-compile
+ build-step = borg-update-autoloads
+ # pdf-tools-install creates `lisp/epdfinfo', which makes git think
+ # that the submodule is dirty. so, let's ignore the untracked
+ # files of pdf-tools' submodule
+ ignore = untracked
+[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 "shell-pop"]
+ path = lib/shell-pop
+ url = git@github.com:kyagi/shell-pop-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