Fix incorrect reporting of bad vs. unknown.
tree109a81a1b2a7a2c50f3bbc39686317269ce730ec
-rw-r--r-- 17 .cvsignore
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 251511 ChangeLog
-rw-r--r-- 2539 Makefile
drwxr-xr-x - Microline
-rw-r--r-- 27970 README
-rw-r--r-- 27693 ReleaseNotes
drwxr-xr-x - Xlt
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util