diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-27 19:52:09 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-27 19:52:09 +0200 |
| commit | 80d4307b761b9a1836f5217657283783ca403681 (patch) | |
| tree | bcb1752c75ef21c84e789e787c004d4ab81af183 /about.html | |
| parent | 0f3c0f7d90e67254e6c74b5b750ca80d1b2a3b10 (diff) | |
| download | ekdosis-80d4307b761b9a1836f5217657283783ca403681.tar.gz | |
new options for pagewise line numbering. done documenting lineation settings
Diffstat (limited to 'about.html')
0 files changed, 0 insertions, 0 deletions