Auto merge of rust-lang#2330 - RalfJung:notex, r=oli-obk

remove ancient tex files These are the sources of `@solson's` original report, I think. They will remain available in the git history, but I don't think there is much point in still carrying them around on master. The readme links to their rendered PDFs: - https://solson.me/miri-slides.pdf - https://solson.me/miri-report.pdf
rust-lang-ci · Jul 5, 2022 · 4dacf5a · 4dacf5a
2 parents b93a70f + 97dd53d
commit 4dacf5a
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 1,131 deletions.
diff --git a/tex/final-presentation/latexmkrc b/tex/final-presentation/latexmkrc
diff --git a/tex/final-presentation/rust-logo-512x512.png b/tex/final-presentation/rust-logo-512x512.png