diff options
author | Norbert Preining <norbert@preining.info> | 2023-11-11 03:03:26 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-11-11 03:03:26 +0000 |
commit | e4ccc7921b6518e670428990524161b3ddbfebd2 (patch) | |
tree | cc5e3d265c59f5f5031b2b085a4621d13f0b1af6 /.gitignore | |
parent | d8b5161942976a522cdb1a7b580fe3886eea6bc6 (diff) |
CTAN sync 202311110303
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions