[emacs] Update proof-site to v4.4-226-g7389d438, tweak defer delays
[~bandali/configs] / lisp /
2018-12-23 Amin Bandali[emacs] remove bbdb — using ebdb now
2018-12-09 Amin Bandali[emacs] unignore bbdb-autoloads.el
2018-12-08 Amin Bandali[emacs] manually add bbdb into lisp/bbdb/
2018-12-01 Amin Bandali[emacs] add cpitclaudel's tangomod{,-dark} themes