K 10
svn:author
V 3
jdp
K 8
svn:date
V 27
1997-01-20T19:37:13.000000Z
K 7
svn:log
V 135
Merge bug fix from main branch 1.43 -> 1.44:  If a library is found
in the hints file, but the library doesn't exist, ignore the hint.

END