diff options
| author | Philipp Krones <hello@philkrones.com> | 2020-08-04 12:06:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-04 12:06:43 +0200 |
| commit | fb7ad956f663dc2e54baf95a4fb3e5b76cd73e39 (patch) | |
| tree | e4583a0bc1667e01f507f0cc739c86a40bf48a6d /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 84455b211f8d9bfdde766ebb2f3240caa66591a4 (diff) | |
| parent | bb6e857980748b000ba3b88d125c6b29aced0693 (diff) | |
| download | rust-fb7ad956f663dc2e54baf95a4fb3e5b76cd73e39.tar.gz rust-fb7ad956f663dc2e54baf95a4fb3e5b76cd73e39.zip | |
Rollup merge of #5856 - phansch:remove-symbol-reexport, r=flip1995
Remove old Symbol reexport I couldn't really tell what it was meant to improve. It seems more clear without the renaming to `Name`? changelog: none
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions