diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:23:30 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-11-15 15:23:30 -0500 |
| commit | c2f969a565d859fc7bcf7df87dbc6928ecc65bb5 (patch) | |
| tree | 57c412d579dc076c2a9158b50fc08a5c435811f1 /lib/proof-site | |
| parent | dfe440bcc2729d9da9c11eea890655c7e4e3e877 (diff) | |
| download | configs-c2f969a565d859fc7bcf7df87dbc6928ecc65bb5.tar.gz configs-c2f969a565d859fc7bcf7df87dbc6928ecc65bb5.tar.xz configs-c2f969a565d859fc7bcf7df87dbc6928ecc65bb5.zip | |
[emacs] say hi and greetings for me :)
also, i think i prefer no prefix to ">>>>> " for reference header
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions