Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rustdoc: remove unused CSS for
hidden-by-*-hider
This CSS seems to have become obsolete with the move to `<details>` tags, and its corresponding JavaScript was removed in aee054d
- Loading branch information