diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-26 14:18:12 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-26 14:18:12 +0200 |
| commit | a7ed6e42996771616d6810bb8e350c1f55d294a3 (patch) | |
| tree | 2fe70b5c934bd55fdd63dc7f3b19afb7a7c84858 /.gitignore | |
| parent | 37388e14beef9f4426f59235fa9d4dcef0056f98 (diff) | |
| download | ekdosis-a7ed6e42996771616d6810bb8e350c1f55d294a3.tar.gz | |
new command \EnvtoTEI. check if <p> is open or not before inserting any other <p>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions