diff options
author | Norbert Preining <norbert@preining.info> | 2020-10-17 03:01:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-10-17 03:01:01 +0000 |
commit | 683b627ec089f4ddb05f06b1e93ee368189f78a4 (patch) | |
tree | 7a6ef1c8a2545a0d181cb890cc8611610263b8f5 /support/shortcuttool | |
parent | d8395db550c4f6044f0f3586bbc5263f06444598 (diff) |
CTAN sync 202010170301
Diffstat (limited to 'support/shortcuttool')
0 files changed, 0 insertions, 0 deletions