summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <amin@gnu.org>2018-08-30 17:53:00 -0400
committerAmin Bandali <amin@gnu.org>2018-08-30 17:53:00 -0400
commit72a03130c464f49fe9aa3b50c6ec5d6c9fa4fb1c (patch)
treeb0c6cb83f6a8d17748bf820e8e7404a23477fe48 /lib/proof-site
parentb07c1cc4dfe36f215eac01e5c69e32cdc7607015 (diff)
downloadconfigs-72a03130c464f49fe9aa3b50c6ec5d6c9fa4fb1c.tar.gz
configs-72a03130c464f49fe9aa3b50c6ec5d6c9fa4fb1c.tar.xz
configs-72a03130c464f49fe9aa3b50c6ec5d6c9fa4fb1c.zip
[emacs] delete old backups automatically
stops emacs from annoying me on exit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions