Diff options
-rw-r--r--MANUAL.txt5
-rw-r--r--source/cmd.c43
-rw-r--r--source/ui-summary.c93
-rw-r--r--source/ui-summary.h5
-rwxr-xr-xtests/t0301-security.sh2
-rwxr-xr-xtests/t0303-robustness.sh31
6 files changed, 44 insertions, 135 deletions