diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-01-12 11:59:37 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-01-12 11:59:37 -0500 |
| commit | cd2776993118afcb19c34e4c86f3100a9a506147 (patch) | |
| tree | 3620ed0f4d0dd86065a3b3e477db78a1f5bc7b77 /lib/proof-site | |
| parent | d9b09483e4ada687ff8ac004cef0e0affc75094a (diff) | |
| download | configs-cd2776993118afcb19c34e4c86f3100a9a506147.tar.gz configs-cd2776993118afcb19c34e4c86f3100a9a506147.tar.xz configs-cd2776993118afcb19c34e4c86f3100a9a506147.zip | |
[emacs] update years
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions