Diff options
-rw-r--r--source/html.c12
-rw-r--r--source/html.h8
-rw-r--r--source/ui-shared.c46
-rw-r--r--source/ui-shared.h12
-rwxr-xr-xtests/t0101-index.sh10
-rwxr-xr-xtests/t0303-robustness.sh6
6 files changed, 67 insertions, 27 deletions