Workspace of d-i_manual_de_html_po2xml on Built-In Node

	about-copyright.xml	20 May 2019, 17:25:15	3.72 KiB
	doc-organization.xml	20 May 2019, 17:25:15	3.68 KiB
	getting-newest-doc.xml	20 May 2019, 17:25:15	565 B
	getting-newest-inst.xml	20 May 2019, 17:25:15	736 B
	welcome.xml	20 May 2019, 17:25:15	624 B
	what-is-debian.xml	20 May 2019, 17:25:15	3.28 KiB
	what-is-debian-hurd.xml	20 May 2019, 17:25:15	1.01 KiB
	what-is-debian-installer.xml	20 May 2019, 17:25:15	1.47 KiB
	what-is-debian-kfreebsd.xml	20 May 2019, 17:25:15	891 B
	what-is-debian-linux.xml	20 May 2019, 17:25:15	3.40 KiB
	what-is-linux.xml	20 May 2019, 17:25:15	3.68 KiB
(all files in zip)