diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-19 10:19:12 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-19 10:19:12 -0500 |
| commit | ace7157216db9ca20a0363a69a145787821dbb85 (patch) | |
| tree | 1c3ac30374456ee54dd2e6e202eac86472c18763 /lib/proof-site | |
| parent | ff95772c4b87add0f7d9ed0c42107b824f6b14cc (diff) | |
| download | configs-ace7157216db9ca20a0363a69a145787821dbb85.tar.gz configs-ace7157216db9ca20a0363a69a145787821dbb85.tar.xz configs-ace7157216db9ca20a0363a69a145787821dbb85.zip | |
[emacs] display full date on slack messages
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions