gawk/sources

a116eec17e7ba085febb74c7758823bd  gawk-3.1.3.tar.bz2
0c6ceed28ceb25efc079c6f42899110e  gawk-3.1.3-ps.tar.gz
- rollback to 3.1.3 :-( 2004-11-08 15:18:23 +00:00			`a116eec17e7ba085febb74c7758823bd gawk-3.1.3.tar.bz2`
			`0c6ceed28ceb25efc079c6f42899110e gawk-3.1.3-ps.tar.gz`