diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-25 03:00:28 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-25 03:00:28 -0500 |
| commit | dfd86f53ade9467b1027a71cad7fd1d08b286b02 (patch) | |
| tree | 778d62f0d0f58aa44a8a8f9de3307b038aa9460d /lib/proof-site | |
| parent | 468ecd2bbf7aca3ea885cedcdedf677c5aaba14f (diff) | |
| download | configs-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