diff options
| author | Norbert Preining <norbert@preining.info> | 2023-06-12 03:06:21 +0000 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2023-06-12 03:06:21 +0000 |
| commit | c17d6d7111c3e6e6d92d99ba3b5bf8caf4d5b911 (patch) | |
| tree | 21258a888d61116f132680a78c8dc59f22c455df /info/knuth-hint/mf | |
| parent | 2b515a7d84c09167cb70bedb643c75426d4be4b1 (diff) | |
CTAN sync 202306120306
Diffstat (limited to 'info/knuth-hint/mf')
| -rw-r--r-- | info/knuth-hint/mf/mf-changes.hnt | bin | 816810 -> 816624 bytes |
| -rw-r--r-- | info/knuth-hint/mf/mf.hnt | bin | 1572031 -> 1568619 bytes |
| -rw-r--r-- | info/knuth-hint/mf/trapman.hnt | bin | 466366 -> 466177 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/info/knuth-hint/mf/mf-changes.hnt b/info/knuth-hint/mf/mf-changes.hnt Binary files differindex 5598c1db1b..a7864659e2 100644 --- a/info/knuth-hint/mf/mf-changes.hnt +++ b/info/knuth-hint/mf/mf-changes.hnt diff --git a/info/knuth-hint/mf/mf.hnt b/info/knuth-hint/mf/mf.hnt Binary files differindex b72688a945..dfa1d5619b 100644 --- a/info/knuth-hint/mf/mf.hnt +++ b/info/knuth-hint/mf/mf.hnt diff --git a/info/knuth-hint/mf/trapman.hnt b/info/knuth-hint/mf/trapman.hnt Binary files differindex b5e6281be6..159ea5cc31 100644 --- a/info/knuth-hint/mf/trapman.hnt +++ b/info/knuth-hint/mf/trapman.hnt |