Correction of the AWK definition
authorfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Mon, 3 Apr 2000 15:37:32 +0000 (15:37 +0000)
committerfca <fca@f7af4fe6-9843-0410-8265-dc069ae4e863>
Mon, 3 Apr 2000 15:37:32 +0000 (15:37 +0000)
commit496e0f69e5424e8a16d0269c176cf92709b3999e
treeb7d9d91edf5d699d86143cefa73a71eae7f6f939
parent20427a27dbae985b3a63ab29200df37e89bb2198
Correction of the AWK definition
conf/MachineDef.HP-UX