[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays

[~bandali/configs] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6a2dcca..c5f850f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,14 @@
 
 /early-init.el
 /init.el
 
 /early-init.el
 /init.el

-/var
+
+/var/*
+/var/eshell/history
+
+!/var/eshell
+!/var/eshell/alias
+
+!/var/abbrev.el
+
+!/lisp/bbdb/bbdb-autoloads.el
+/var/eshell/lastdir