Diff options
-rw-r--r--MANUAL.txt28
-rw-r--r--source/filter.c4
-rw-r--r--source/ui-repolist.c2
-rw-r--r--source/ui-shared.c87
-rw-r--r--source/ui-shared.h8
-rw-r--r--source/ui-summary.c10
-rwxr-xr-xtests/t0201-filters.sh26
7 files changed, 122 insertions, 43 deletions