diff options
author | Norbert Preining <norbert@preining.info> | 2023-04-18 03:02:36 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-04-18 03:02:36 +0000 |
commit | 80e82c6cd5fb165fa720a1ce3a25f357ea11b9fc (patch) | |
tree | f8978ec3fb998e446d63ff65719cc30189deeb5f /FILES.byname.gz | |
parent | 88aa9bb9a3222cf13820ae3b6f64ce48dcd003ea (diff) |
CTAN sync 202304180302
Diffstat (limited to 'FILES.byname.gz')
-rw-r--r-- | FILES.byname.gz | bin | 2527562 -> 2527534 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/FILES.byname.gz b/FILES.byname.gz Binary files differindex fd623415d4..f6281cba00 100644 --- a/FILES.byname.gz +++ b/FILES.byname.gz |