Crabgrass/Crabgrass-Core — pull request #81 by azul (2013-05-11 10:39:20+00:00)
Title: remove all non sphinx filters from the ui

We need to fix them and bring them back. But there is no point in displaying filters that do nothing yet.