summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-12-16 03:01:40 +0000
committerNorbert Preining <norbert@preining.info>2023-12-16 03:01:40 +0000
commitcf11d08f6fe4d61a3da648d820601e3fca67d8d4 (patch)
tree2eea226ec62bd73e49dce85df85c093393d58af3 /.gitignore
parent9dd4909414ccbc438a2c6276bf642904d6036891 (diff)
CTAN sync 202312160301
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions