Index of /pub/awkpretty

	Name	Last modified	Size
	Parent Directory		-
	00dir.cmd	2004-11-04 21:25	515
	00dir.html	2017-11-06 16:05	3.6K
	00dir.lst	2017-11-06 16:05	1.4K
	00tdir.cmd	2017-11-07 23:25	515
	00tdir.html	2017-11-06 16:05	3.7K
	00tdir.lst	2017-11-06 16:05	1.4K
	MD5SUM	2004-09-24 07:22	1.0K
	MD5SUM.asc	2004-09-24 07:22	1.3K
	SHA1SUM	2004-11-04 06:34	1.2K
	SHA1SUM.asc	2004-11-04 06:34	1.4K
	awkpretty-1.00.jar	1999-10-14 15:50	365K
	awkpretty-1.00.jar-lst	1999-10-14 15:50	8.8K
	awkpretty-1.00.jar.sig	2004-09-23 18:29	66
	awkpretty-1.00.tar-lst	1999-10-14 15:50	10K
	awkpretty-1.00.tar.bz2	1999-10-14 15:50	224K
	awkpretty-1.00.tar.bz2.sig	2004-09-23 18:29	66
	awkpretty-1.00.tar.gz	1999-10-14 15:50	306K
	awkpretty-1.00.tar.gz.sig	2004-09-23 18:29	66
	awkpretty-1.00.zip	1999-10-14 15:50	352K
	awkpretty-1.00.zip-lst	1999-10-14 15:50	9.7K
	awkpretty-1.00.zip.sig	2004-09-23 18:29	66
	awkpretty-1.00.zoo	1999-09-07 10:51	540K
	awkpretty-1.00.zoo-lst	1999-10-14 15:50	8.7K
	awkpretty-1.00.zoo.sig	2004-09-23 18:29	66