This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 4dacf5a

committed

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

2 parents b93a70f + 97dd53d commit 4dacf5aCopy full SHA for 4dacf5a

5 files changed

+0

-1131

lines changed

tex
- final-presentation
- report
  - latexmkrc
  - miri-report.tex

5 files changed

+0

-1131

lines changed

`‎tex/final-presentation/latexmkrc`

This file was deleted.

`‎tex/final-presentation/rust-logo-512x512.png`

-93.8 KB

Binary file not shown.

Comments

(0)