diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-16 00:39:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-16 00:39:22 +0200 |
| commit | f71b55d9b2c4fab6e02254729afca247a1b9a31b (patch) | |
| tree | 2dd2da3a122d7c40f96321cec541f30e3e753659 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 3c6e1936bc410e69f8e5a4a3a40ae83330a381bc (diff) | |
| parent | 426055cb299017748fcf8368e40afa4259af7a57 (diff) | |
| download | rust-f71b55d9b2c4fab6e02254729afca247a1b9a31b.tar.gz rust-f71b55d9b2c4fab6e02254729afca247a1b9a31b.zip | |
Rollup merge of #70774 - GuillaumeGomez:clean-rustdoc-js-tools, r=ollie27
End cleanup on rustdoc-js tools Fixes #70689. It removes a lot of code, which is pretty nice. :3 We now only have one entry point and a small set of options. r? @ollie27
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions