diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2015-05-05 09:23:56 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2015-05-05 09:23:56 +0530 |
| commit | 74130520fbd41755c0220436dc79a7b59863bdd7 (patch) | |
| tree | 612bdbbc144e8dffe2e9bd7988704f15cfb33bcd /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | 6bb4998c7c12c39a1ded3a33b72b512f1f4e3175 (diff) | |
| parent | 92d49cf6c5dec016fc1262e4436c62dc199f2b9d (diff) | |
| download | rust-74130520fbd41755c0220436dc79a7b59863bdd7.tar.gz rust-74130520fbd41755c0220436dc79a7b59863bdd7.zip | |
Rollup merge of #25081 - carols10cents:remove-extract-grammar, r=steveklabnik
This script used to be used to [extract the grammar sections from the reference](https://github.com/rust-lang/rust/pull/8585), but there is [now a separate src/doc/grammar.md](https://github.com/rust-lang/rust/pull/22308) that generates grammar.html where the grammar sections that used to be in the reference live, so there is no longer a need to extract the grammar from the reference. I :heart: deleting code :) But I totally understand if there's a reason to keep this around that I don't know about :)
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions