diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-21 21:19:05 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-21 21:19:05 -0500 |
| commit | 981ff3ce9a26c24ad5fd0a2cdfed33a015156edf (patch) | |
| tree | 63f59dc4d0740b8be15701b49a9a71f55c68d2b9 /lib/proof-site | |
| parent | b1fb0f48d5a7d3057f6ddb0473356cc6d07c0ecf (diff) | |
| download | configs-981ff3ce9a26c24ad5fd0a2cdfed33a015156edf.tar.gz configs-981ff3ce9a26c24ad5fd0a2cdfed33a015156edf.tar.xz configs-981ff3ce9a26c24ad5fd0a2cdfed33a015156edf.zip | |
[emacs] add page-break-lines and divide init up into pages
corresponding to the current Org top-level headings
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions