diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:51:50 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-23 00:51:50 -0500 |
| commit | 815c338bbfc6a6c38ec41c2a40041dfd222cf41c (patch) | |
| tree | 6507230ea30c30fec1b223073aa2e29cd9ddde74 /lib/proof-site | |
| parent | 59937519c5cf62fa7a6b83ff4a5f8f236449ae68 (diff) | |
| download | configs-815c338bbfc6a6c38ec41c2a40041dfd222cf41c.tar.gz configs-815c338bbfc6a6c38ec41c2a40041dfd222cf41c.tar.xz configs-815c338bbfc6a6c38ec41c2a40041dfd222cf41c.zip | |
[emacs/org] speed commands, startup content state, no invisible edits
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions