summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-07-18 03:01:03 +0000
committerNorbert Preining <norbert@preining.info>2023-07-18 03:01:03 +0000
commit26db8c4a83cf4c293f2b285fb398e8d676dff136 (patch)
tree7c5b51cdd7346645b9a10afa0598b129ae0470d6 /.gitignore
parent2d6f89f83b7567136c3a40b3b55f9be1e06bd99e (diff)
CTAN sync 202307180301
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions