steven 1d11ee4ac4 prefer awk instead of gawk if gawk is installed. ... from Dave Steinberg <dave at redterror.net> via maintainer Will Maier regen patches while here.		2007-05-08 16:16:56 +00:00
..
patch-configure	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-dsh_dsh_1
patch-dsh_dsh_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-dsh_rseq_1
patch-dsh_rseq_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-dsh_run_1
patch-dsh_run_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-jsd_jsd_1
patch-jsd_jsd_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-jsd_jsh_1	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-jsd_jsh_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-Makefile_in
patch-pcp_pcp_1
patch-pcp_pcp_c	prefer awk instead of gawk if gawk is installed.	2007-05-08 16:16:56 +00:00
patch-rvt_rvt_c
patch-tools_pdf_1
patch-tools_prm_1