diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:20:54 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:20:54 -0500 |
| commit | 59937519c5cf62fa7a6b83ff4a5f8f236449ae68 (patch) | |
| tree | 0f2292d5d1d849d6e199f258383e6e35eb67593c /lib/proof-site | |
| parent | 66075b3deb7af9ce375f4655571eaea5d7bdae35 (diff) | |
| download | configs-59937519c5cf62fa7a6b83ff4a5f8f236449ae68.tar.gz configs-59937519c5cf62fa7a6b83ff4a5f8f236449ae68.tar.xz configs-59937519c5cf62fa7a6b83ff4a5f8f236449ae68.zip | |
[emacs] remove bbdb — using ebdb now
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions