Workspace of d-i_manual_pt_html_po2xml on Built-In Node

	historic
	check-preseed	20 May 2019, 17:16:21	1.54 KiB
	cp-untrans	20 May 2019, 17:16:21	1.00 KiB
	create_po	20 May 2019, 17:16:21	3.39 KiB
	create_xml	20 May 2019, 17:16:21	2.20 KiB
	doc-check	20 May 2019, 17:16:21	3.94 KiB
	mark_untranslated.awk	20 May 2019, 17:16:21	3.09 KiB
	merge_xml	20 May 2019, 17:16:21	2.39 KiB
	merge_xml.awk	20 May 2019, 17:16:21	4.44 KiB
	rev-check	20 May 2019, 17:16:21	7.57 KiB
	revert_pot	20 May 2019, 17:16:21	293 B
	rev-update	20 May 2019, 17:16:21	3.45 KiB
	set_untranslated	20 May 2019, 17:16:21	837 B
	unfuzzy-xml	20 May 2019, 17:16:21	1.12 KiB
	update_po	20 May 2019, 17:16:21	1.41 KiB
	update_pot	20 May 2019, 17:16:21	1.82 KiB
	xml-rename	20 May 2019, 17:16:21	500 B
(all files in zip)