Diff options
-rw-r--r--filter.c6
-rw-r--r--html.c6
-rw-r--r--shared.c1
-rw-r--r--ui-plain.c1
-rw-r--r--ui-repolist.c1
-rw-r--r--ui-summary.c1
6 files changed, 0 insertions, 16 deletions