Juan RP 9be5a42799 gawk: provides/replaces awk.		2014-07-01 09:37:43 +02:00
..
template	gawk: provides/replaces awk.	2014-07-01 09:37:43 +02:00