X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/fad62af517873a5a40dc4487a505b88383b794f1..695170a4c7ba5c076b3f1c58b66836f20d242fa0:/.gitmodules?ds=inline

diff --git a/.gitmodules b/.gitmodules
index 165cebc..8aff0aa 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -127,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