Remove usage of debian-specific --quiet flag to /usr/bin/time
treefdbeb0981b2418c6d57baba91806541857cb2fb6
-rw-r--r-- 4143 ANNOUNCE
-rw-r--r-- 18007 COPYING
drwxr-xr-x - DOC
-rw-r--r-- 293 INSTALL
-rw-r--r-- 1447 Makefile
-rw-r--r-- 5321 ReadMe.c
-rw-r--r-- 916 TODO
-rw-r--r-- 13784 bestmatch.c
-rw-r--r-- 9286 diff.c
-rwxr-xr-x 2526 dotest
-rw-r--r-- 5601 extract.c
-rw-r--r-- 279 get-p-options
-rw-r--r-- 2295 hash.h
-rw-r--r-- 2906 load.c
-rw-r--r-- 26629 merge.c
-rw-r--r-- 2590 notes
-rwxr-xr-x 16825 p
-rw-r--r-- 11420 p.help
-rw-r--r-- 3321 split.c
drwxr-xr-x - tests
-rw-r--r-- 4 version
-rw-r--r-- 12646 wiggle.1
-rw-r--r-- 16064 wiggle.c
-rw-r--r-- 2737 wiggle.h