X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/configs/blobdiff_plain/182de22d6db8183fcc7a833e4af820303d03f13a..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