diff options
author | Norbert Preining <norbert@preining.info> | 2023-08-16 03:00:51 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-08-16 03:00:51 +0000 |
commit | d10719e48fc5cd329e6333041ef31d868fafbdcc (patch) | |
tree | 8f1b97fae0646e68f502c0794120636e3f5170a6 /.gitignore | |
parent | 3593305133bcfb167225af1b35c299bde1456579 (diff) |
CTAN sync 202308160300
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions