diff options
author | Norbert Preining <norbert@preining.info> | 2021-08-21 03:03:19 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-08-21 03:03:19 +0000 |
commit | dd302372d8cdbe867c55bbea51f1f2a4842c3353 (patch) | |
tree | 1d2e75f175f970964291421b3d503e85893da5dd /support/shortcuttool | |
parent | da0e202bdd0dc2f52f28ae0d96dc96969826890b (diff) |
CTAN sync 202108210303
Diffstat (limited to 'support/shortcuttool')
0 files changed, 0 insertions, 0 deletions