diff options
author | Norbert Preining <norbert@preining.info> | 2023-02-01 03:05:11 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-02-01 03:05:11 +0000 |
commit | 665dcbc32c9499a686db2c369349632986af26e6 (patch) | |
tree | f38944b96cbd3d916198d3898b693f231e077161 /support/proof | |
parent | 7c33483242d8e20f8f809e76ec9a3406db2dbfab (diff) |
CTAN sync 202302010305
Diffstat (limited to 'support/proof')
0 files changed, 0 insertions, 0 deletions