Completely remove the use of TIME_WITH_SYS_TIME (I removed the autoconf
[mmh] / config /
drwxr-xr-x   ..
-rw-r--r-- 1730 Makefile.in
-rw-r--r-- 8105 config.c
-rwxr-xr-x 747 version.sh