summaryrefslogtreecommitdiffstats
path: root/lib/proof-site
diff options
context:
space:
mode:
authorAmin Bandali <bandali@gnu.org>2018-12-25 03:00:28 -0500
committerAmin Bandali <bandali@gnu.org>2018-12-25 03:00:28 -0500
commitdfd86f53ade9467b1027a71cad7fd1d08b286b02 (patch)
tree778d62f0d0f58aa44a8a8f9de3307b038aa9460d /lib/proof-site
parent468ecd2bbf7aca3ea885cedcdedf677c5aaba14f (diff)
downloadconfigs-dfd86f53ade9467b1027a71cad7fd1d08b286b02.tar.gz
configs-dfd86f53ade9467b1027a71cad7fd1d08b286b02.tar.xz
configs-dfd86f53ade9467b1027a71cad7fd1d08b286b02.zip
[emacs] fix up a few defer-related issues
also, no need for the manual company-ebdb hook in version 1.1
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions