Index of /pub/warts

	Name	Last modified	Size	Description
	Parent Directory		-
	WARTS_INFO.ascii	1995-05-10 13:19	9.1K
	WARTS_INFO.ps	1995-05-10 13:18	62K
	license.ps	1996-05-15 16:49	32K