/patch-config_in/1.3/Fri Sep 23 03:47:14 2005//
/patch-examples_filtdef/1.2/Tue Jul  5 13:48:10 2005//
/patch-examples_filtinf/1.2/Tue Jul  5 13:48:10 2005//
/patch-examples_gzcat/1.2/Tue Jul  5 13:48:10 2005//
/patch-examples_gzgrep/1.2/Tue Jul  5 13:48:10 2005//
/patch-examples_gzstream/1.2/Tue Jul  5 13:48:10 2005//
D
