diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2021-02-04 11:15:12 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2021-02-04 11:15:12 +0100 |
| commit | 285529a917236e78464c7f96a2229916c0d881c6 (patch) | |
| tree | ec2557db17792908ff1b8215ee277a97b7dc2af3 /.gitignore | |
| parent | 6fb1fbb8c61436430a9a83a0e2232a263387f951 (diff) | |
| download | ekdosis-285529a917236e78464c7f96a2229916c0d881c6.tar.gz | |
allow defined TeXtoTEIPats to be redefined
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions