Diff options
-rw-r--r--source/cmd.c13
-rw-r--r--source/html.c22
-rw-r--r--source/html.h1
-rw-r--r--source/ui-shared.c21
-rw-r--r--source/ui-shared.h10
-rwxr-xr-xtests/t0303-robustness.sh13
6 files changed, 68 insertions, 12 deletions