diff options
author | Norbert Preining <norbert@preining.info> | 2023-01-06 03:06:05 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-01-06 03:06:05 +0000 |
commit | 90bcf28fa05846213901e6a0fff80656a13bc701 (patch) | |
tree | f2871bd21df7a65090c45517d3b9769a34f3cf6c /.gitignore | |
parent | 7b266590db3f49ad361a129142e0531d2acc1b36 (diff) |
CTAN sync 202301060306
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions