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

[~bandali/configs] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0e471d3..c5f850f 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,4 +9,7 @@
 !/var/eshell
 !/var/eshell/alias
 
+!/var/abbrev.el
+
 !/lisp/bbdb/bbdb-autoloads.el
+/var/eshell/lastdir