summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-08-16 03:00:51 +0000
committerNorbert Preining <norbert@preining.info>2023-08-16 03:00:51 +0000
commitd10719e48fc5cd329e6333041ef31d868fafbdcc (patch)
tree8f1b97fae0646e68f502c0794120636e3f5170a6 /.gitignore
parent3593305133bcfb167225af1b35c299bde1456579 (diff)
CTAN sync 202308160300
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions