filter doc index page by tag

ceylon / ceylon-compiler

DEPRECATED

GNU General Public License v2.0

138 stars 36 forks source link

Closed gavinking closed 8 years ago

gavinking commented 8 years ago

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 8 years ago

Done, via f691372,

gavinking commented 8 years ago

Thank you!