/patch-man_hfind_1/1.2/Mon Jan  5 22:15:56 2009//
/patch-man_sorter_1/1.2/Mon Jan  5 22:15:56 2009//
/patch-tools_sorter_sorter_base/1.2/Mon Jan  5 22:15:56 2009//
/patch-tools_srchtools_sigfind_cpp/1.2/Tue Mar 15 20:51:26 2011//
D
