diff options
author | Norbert Preining <norbert@preining.info> | 2023-12-15 03:02:49 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-12-15 03:02:49 +0000 |
commit | 9dd4909414ccbc438a2c6276bf642904d6036891 (patch) | |
tree | 719482ec001467af1aa112811a7dc7a59b32ae2e /FILES.byname.gz | |
parent | 08c9c5238d01d9b5949ae48f659d06da1665734a (diff) |
CTAN sync 202312150302
Diffstat (limited to 'FILES.byname.gz')
-rw-r--r-- | FILES.byname.gz | bin | 2558848 -> 2558859 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/FILES.byname.gz b/FILES.byname.gz Binary files differindex 4752b76046..cd7c89516e 100644 --- a/FILES.byname.gz +++ b/FILES.byname.gz |