summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-01-08 03:01:28 +0000
committerNorbert Preining <norbert@preining.info>2023-01-08 03:01:28 +0000
commit7d5553601ccc6f3feed4f9563a6270739bd4da54 (patch)
tree5439910db3631d3200f0f7df70e3d8707ab146cf /.gitignore
parentc946b2e792715f6030486d5214be1df081de37a8 (diff)
CTAN sync 202301080301
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions