manual/platform/index.html

	index.html revision dc0d8d65d35787d30a275895ccad8d8e1b58a5ed
dc0d8d65d35787d30a275895ccad8d8e1b58a5edndURI: index.html.en
dc0d8d65d35787d30a275895ccad8d8e1b58a5edndContent-Language: en
dc0d8d65d35787d30a275895ccad8d8e1b58a5edndContent-type: text/html; charset=ISO-8859-1