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

[~bandali/configs] / .gitignore

diff --git a/.gitignore b/.gitignore
index d949b2b..c5f850f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,8 @@
 
 !/var/eshell
 !/var/eshell/alias
+
+!/var/abbrev.el
+
+!/lisp/bbdb/bbdb-autoloads.el
+/var/eshell/lastdir