Index of /docs

	Name	Last modified	Size	Description
	Parent Directory		-
	manual.txt	2002-05-19 08:14	26K
	CREDITS.txt	2002-05-19 08:14	7.9K
	COPYING.txt	2002-05-19 08:13	15K