X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/d43a20d77eecf890502009be72db5659417bff18..695170a4c7ba5c076b3f1c58b66836f20d242fa0:/.gitmodules

diff --git a/.gitmodules b/.gitmodules
index 6986302..8aff0aa 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -52,9 +52,6 @@
 [submodule "exec-path-from-shell"]
 	path = lib/exec-path-from-shell
 	url = git@github.com:purcell/exec-path-from-shell.git
-[submodule "exwm"]
-	path = lib/exwm
-	url = git@github.com:ch11ng/exwm.git
 [submodule "f"]
 	path = lib/f
 	url = git@github.com:rejeep/f.el.git
@@ -130,6 +127,9 @@
 [submodule "popup"]
 	path = lib/popup
 	url = git@github.com:auto-complete/popup-el.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
@@ -148,9 +148,6 @@
 [submodule "with-editor"]
 	path = lib/with-editor
 	url = git@github.com:magit/with-editor.git
-[submodule "xelb"]
-	path = lib/xelb
-	url = git@github.com:ch11ng/xelb.git
 [submodule "yaml-mode"]
 	path = lib/yaml-mode
 	url = git@github.com:yoshiki/yaml-mode.git