diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-02 00:26:44 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-02 00:26:44 -0400 |
| commit | e6bb60ec586ab8536f2948117bc03b51cfa842ca (patch) | |
| tree | e6bbd641939866758554c4be9f1b950ec7a75fb6 /lib/proof-site | |
| parent | 1aa90613c027ab54dc66287d0a7b562507a195b3 (diff) | |
| download | configs-e6bb60ec586ab8536f2948117bc03b51cfa842ca.tar.gz configs-e6bb60ec586ab8536f2948117bc03b51cfa842ca.tar.xz configs-e6bb60ec586ab8536f2948117bc03b51cfa842ca.zip | |
[emacs] update org; secrets: eval-when-compile require 'auth-source
update org to release_9.1.14-1017-g6382a6bbb
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions