diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-05-18 19:12:43 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-05-18 19:12:43 +0200 |
| commit | 5ffcc3045fb94a413bbe2d32e85fd993d23307f4 (patch) | |
| tree | b465a9e8e57e434d7ed1e3dc92ace089ac8c44a5 /.gitignore | |
| parent | 429ba52c5b17fa727ea7a5e79fc9cbbd0dfe2775 (diff) | |
| download | ekdosis-5ffcc3045fb94a413bbe2d32e85fd993d23307f4.tar.gz | |
turn manually inserted xml:id into n attribute
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions