Index of /doc/pike8.0-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	html/	2017-08-25 16:10	-
	CHANGES.gz	2025-02-08 17:55	35K
	changelog.gz	2025-02-08 17:55	35K
	changelog.Debian.gz	2025-02-23 21:34	962
	copyright	2025-02-23 21:34	2.1K