Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#general
Title
h
happy-kitchen-89482
10/16/2015, 1:15 AM
I'd like to remove it now (can deprecate so cmd lines don't fail, but remove the pretend-functionality) and we can consider reintroducing either as a type filter or as, what I suspect people might really want, a language filter.
Post