diff options
author | Norbert Preining <norbert@preining.info> | 2022-08-15 03:04:09 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-08-15 03:04:09 +0000 |
commit | c31d5403d99c6c97d01fcf41eee4ea925eae2ef0 (patch) | |
tree | d0b75f143b98ca34a649326ee6379d8fd9783cf3 /.gitignore | |
parent | e874d39878309e456c7ffe8d5fc6a91be571b50c (diff) |
CTAN sync 202208150304
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions