diff options
Diffstat (limited to 'systems/knuth/dist/pdf/tex')
-rw-r--r-- | systems/knuth/dist/pdf/tex/glue.pdf | bin | 197914 -> 0 bytes |
-rw-r--r-- | systems/knuth/dist/pdf/tex/tex-changes.pdf | bin | 1851820 -> 0 bytes |
-rw-r--r-- | systems/knuth/dist/pdf/tex/tex.pdf | bin | 3618376 -> 0 bytes |
-rw-r--r-- | systems/knuth/dist/pdf/tex/tripman.pdf | bin | 325777 -> 0 bytes |
4 files changed, 0 insertions, 0 deletions
diff --git a/systems/knuth/dist/pdf/tex/glue.pdf b/systems/knuth/dist/pdf/tex/glue.pdf Binary files differdeleted file mode 100644 index 4ad67c5628..0000000000 --- a/systems/knuth/dist/pdf/tex/glue.pdf +++ /dev/null diff --git a/systems/knuth/dist/pdf/tex/tex-changes.pdf b/systems/knuth/dist/pdf/tex/tex-changes.pdf Binary files differdeleted file mode 100644 index d50a522faa..0000000000 --- a/systems/knuth/dist/pdf/tex/tex-changes.pdf +++ /dev/null diff --git a/systems/knuth/dist/pdf/tex/tex.pdf b/systems/knuth/dist/pdf/tex/tex.pdf Binary files differdeleted file mode 100644 index 295e5672cf..0000000000 --- a/systems/knuth/dist/pdf/tex/tex.pdf +++ /dev/null diff --git a/systems/knuth/dist/pdf/tex/tripman.pdf b/systems/knuth/dist/pdf/tex/tripman.pdf Binary files differdeleted file mode 100644 index 23f97476dc..0000000000 --- a/systems/knuth/dist/pdf/tex/tripman.pdf +++ /dev/null |