updated filter groups
We changed the filter groups labels to start with a capital to keep the style consistent with the Default group. We also added a new Man filter group and a condition in the "Misc" group to exclude man pages.master
parent
8a028d54dd
commit
602769dc8c
Loading…
Reference in New Issue