diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-26 20:33:57 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-26 20:33:57 -0500 |
| commit | f94edfe60d898b26d1629f3c5cdd950996f6b0d5 (patch) | |
| tree | 2cd515f6d091b0c1bd60f88b83aa5951bb4ddc09 /lib/proof-site | |
| parent | f0d07afcb32a0b1e9314448779987d8664f6e4dc (diff) | |
| download | configs-f94edfe60d898b26d1629f3c5cdd950996f6b0d5.tar.gz configs-f94edfe60d898b26d1629f3c5cdd950996f6b0d5.tar.xz configs-f94edfe60d898b26d1629f3c5cdd950996f6b0d5.zip | |
[emacs] add message-x (for completion of groups, e.g. in Gcc field)
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions