summaryrefslogtreecommitdiff
path: root/support/proof
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-02-01 03:05:11 +0000
committerNorbert Preining <norbert@preining.info>2023-02-01 03:05:11 +0000
commit665dcbc32c9499a686db2c369349632986af26e6 (patch)
treef38944b96cbd3d916198d3898b693f231e077161 /support/proof
parent7c33483242d8e20f8f809e76ec9a3406db2dbfab (diff)
CTAN sync 202302010305
Diffstat (limited to 'support/proof')
0 files changed, 0 insertions, 0 deletions