diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2022-08-30 07:15:54 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2022-08-30 07:15:54 +0200 |
| commit | 8ae25bd88aa372e55836bfdf8a06b2d2195a4268 (patch) | |
| tree | 29b90b94cfa2136f8e00ac32f7516b12c331705a /AUTHORS | |
| parent | 0888a3817b7726d3d572de7c040d6ebf8f10dda8 (diff) | |
| download | ekdosis-8ae25bd88aa372e55836bfdf8a06b2d2195a4268.tar.gz | |
texpatttotei(): do ekd@[oc][bs] replacements once
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions