diff options
author | Norbert Preining <norbert@preining.info> | 2022-03-06 03:01:07 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-03-06 03:01:07 +0000 |
commit | a2c331d17828388705046ea495e5fe5135bbcc83 (patch) | |
tree | bc7f9b50750ad2331f4495f511f6e71ac13bf680 /systems/doc/hitex/hitexman.hnt | |
parent | 19a90b19f6ec33aec1291be08fecfece45735a22 (diff) |
CTAN sync 202203060301
Diffstat (limited to 'systems/doc/hitex/hitexman.hnt')
-rw-r--r-- | systems/doc/hitex/hitexman.hnt | bin | 503784 -> 541115 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/systems/doc/hitex/hitexman.hnt b/systems/doc/hitex/hitexman.hnt Binary files differindex f0e843bfa7..34a13f4ba8 100644 --- a/systems/doc/hitex/hitexman.hnt +++ b/systems/doc/hitex/hitexman.hnt |