ceylon/ceylon-compiler

filter doc index page by tag

gavinking opened this issue · 2 comments

gavinking commented

The filter-by-tag stuff would actually be way more useful on the new Index page that ceylon doc generates than anywhere else.

thradec commented

Done, via f691372,

gavinking commented

Thank you!