[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.less

.rcshowhidemine {
        // HACK: Hide this filter since it already appears in
        // the new filter drop-down.
        display: none;
}