diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 11:02:22 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-06 11:02:22 +0200 |
| commit | a94aa3ae8e6ccb82abc67e1bda7fed168c86de92 (patch) | |
| tree | 0545977a3fb3e6107e3ce59fc3bb21e06299a0b0 /.gitignore | |
| parent | 376583efb5d484c509d0f6e2c942032f461b8a98 (diff) | |
| download | ekdosis-a94aa3ae8e6ccb82abc67e1bda7fed168c86de92.tar.gz | |
accept spaces between commands inside \app. new option teiexport=tidy (needs --shell-escape)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions