diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-10-25 17:57:54 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-10-25 17:57:54 +0200 |
| commit | dbe3fc48b63e793a72baa585ead8e1ad18fbb213 (patch) | |
| tree | 9aefe090ce66877d937ce26d63ba6a2b3ef41fae /.gitignore | |
| parent | 02429663d98f4dfb91d504a362fc480393c14f8b (diff) | |
| download | ekdosis-dbe3fc48b63e793a72baa585ead8e1ad18fbb213.tar.gz | |
make 3rd argument of TeX|EnvtoTei optional; nullify nullify TEI tag if arg2 is void
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions