summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-08-15 03:04:09 +0000
committerNorbert Preining <norbert@preining.info>2022-08-15 03:04:09 +0000
commitc31d5403d99c6c97d01fcf41eee4ea925eae2ef0 (patch)
treed0b75f143b98ca34a649326ee6379d8fd9783cf3 /.gitignore
parente874d39878309e456c7ffe8d5fc6a91be571b50c (diff)
CTAN sync 202208150304
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions