diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-02 17:54:11 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-02 17:54:11 +0200 |
| commit | 69ee1f20179ff4f9751e87454723ef5bde4ce11a (patch) | |
| tree | 28fb27fd84104aa1b1ec733d8e71c9fd805e1e8b /Makefile | |
| parent | 59d1d1cbc44450d93fbbe4f4d33402c13b02d1b2 (diff) | |
| download | ekdosis-69ee1f20179ff4f9751e87454723ef5bde4ce11a.tar.gz | |
pagelineation boolean option becomes lineation=page|document choice option
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions