Auto merge of #9709 - koka831:chore/remove-unnecessary-files, r=flip1995

chore: remove unnecessary files removes document text files that are no longer needed by #9541. changelog: none r? `@Alexendoo`
rust-lang · Oct 25, 2022 · df67ebb · df67ebb
2 parents de87e83 + 70dff63
commit df67ebb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 42 deletions.
diff --git a/src/docs/manual_let_else.txt b/src/docs/manual_let_else.txt
diff --git a/src/docs/seek_to_start_instead_of_rewind.txt b/src/docs/seek_to_start_instead_of_rewind.txt