summaryrefslogtreecommitdiff
path: root/systems/knuth/dist/pdf/tex
diff options
context:
space:
mode:
Diffstat (limited to 'systems/knuth/dist/pdf/tex')
-rw-r--r--systems/knuth/dist/pdf/tex/glue.pdfbin197914 -> 0 bytes
-rw-r--r--systems/knuth/dist/pdf/tex/tex-changes.pdfbin1851820 -> 0 bytes
-rw-r--r--systems/knuth/dist/pdf/tex/tex.pdfbin3618376 -> 0 bytes
-rw-r--r--systems/knuth/dist/pdf/tex/tripman.pdfbin325777 -> 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
deleted file mode 100644
index 4ad67c5628..0000000000
--- a/systems/knuth/dist/pdf/tex/glue.pdf
+++ /dev/null
Binary files differ
diff --git a/systems/knuth/dist/pdf/tex/tex-changes.pdf b/systems/knuth/dist/pdf/tex/tex-changes.pdf
deleted file mode 100644
index d50a522faa..0000000000
--- a/systems/knuth/dist/pdf/tex/tex-changes.pdf
+++ /dev/null
Binary files differ
diff --git a/systems/knuth/dist/pdf/tex/tex.pdf b/systems/knuth/dist/pdf/tex/tex.pdf
deleted file mode 100644
index 295e5672cf..0000000000
--- a/systems/knuth/dist/pdf/tex/tex.pdf
+++ /dev/null
Binary files differ
diff --git a/systems/knuth/dist/pdf/tex/tripman.pdf b/systems/knuth/dist/pdf/tex/tripman.pdf
deleted file mode 100644
index 23f97476dc..0000000000
--- a/systems/knuth/dist/pdf/tex/tripman.pdf
+++ /dev/null
Binary files differ