Closed areina closed 7 years ago
These kind of tags were added recently in Dash docsets and aren't useful for us, so we can remove them directly from the url.
Fixes #145
+1. Merge at will (can't try it now)
These kind of tags were added recently in Dash docsets and aren't useful for us, so we can remove them directly from the url.
Fixes #145