gavinking opened this issue 9 years ago · 2 comments
The filter-by-tag stuff would actually be way more useful on the new Index page that ceylon doc generates than anywhere else.
ceylon doc
Done, via f691372,
Thank you!