
LICENSE.txt		: File
manual.doc		: File

LICENSE.txt.properties	: None
manual.doc.properties	: None
