Fix usage message in configure.gnu
authorJarkko Hietaniemi <jhi@cc.hut.fi>
Tue, 4 Feb 1997 09:16:40 +0000 (21:16 +1200)
committerChip Salzenberg <chip@atlantic.net>
Mon, 10 Feb 1997 19:29:00 +0000 (07:29 +1200)
commit5518bc02771e6f8d82055935f61ddb0238881b2e
treef98462d68d08137e1ce6a2436ab6d81b68241ac8
parentaa3060398a4e37b7717d3d3ed9ffd2cf35035e26
Fix usage message in configure.gnu
configure.gnu