diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-05-07 15:18:28 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-05-07 15:18:28 +0200 |
commit | 3c7f90b3b3ba2bfb9fd7dc0ccd67f6a0584c00b4 (patch) | |
tree | 445d24d2c241de6a971c31e9babdbb11d208d980 /.gitignore | |
parent | 7aa2b0c21de0f45a4e350893077d706ad678d25b (diff) | |
download | ekdosis-3c7f90b3b3ba2bfb9fd7dc0ccd67f6a0584c00b4.tar.gz |
new function versetotei(). added star option to \EnvtoTEI{} that instructs ekdosis to close <p> if it is open
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions