Juan RP 148a1a1578 autoconf: use virtual?awk instead.		2014-08-22 16:19:08 +02:00
..
template	autoconf: use virtual?awk instead.	2014-08-22 16:19:08 +02:00