Closed
Description
There are apparently name conflicts with mdbook. So let's rename it into rustdoc-theme.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
There are apparently name conflicts with mdbook. So let's rename it into rustdoc-theme.