Another small correction on the output of -a
tree542b136d9f4e7dac3f852750b70cbe7a6bb2ed6c
-rwxr-xr-x 2776 regtest_signduterre.makefile
-rwxr-xr-x 48750 signduterre.py