Workspace of d-i_manual_id_html_po2xml on Built-In Node

	historic
	check-preseed	22 Jul 2022, 11:46:49	1.54 KiB
	cp-untrans	22 Jul 2022, 11:46:49	1.00 KiB
	create_po	22 Jul 2022, 11:46:49	3.39 KiB
	create_xml	22 Jul 2022, 11:46:49	2.20 KiB
	doc-check	22 Jul 2022, 11:46:49	3.94 KiB
	mark_untranslated.awk	22 Jul 2022, 11:46:49	3.09 KiB
	merge_xml	22 Jul 2022, 11:46:49	2.39 KiB
	merge_xml.awk	22 Jul 2022, 11:46:49	4.43 KiB
	refresh-all-po-pot-files.sh	22 Jul 2022, 11:46:49	706 B
	rev-check	22 Jul 2022, 11:46:49	7.57 KiB
	revert_pot	22 Jul 2022, 11:46:49	293 B
	rev-update	22 Jul 2022, 11:46:49	3.45 KiB
	set_untranslated	22 Jul 2022, 11:46:49	837 B
	unfuzzy-xml	22 Jul 2022, 11:46:49	1.12 KiB
	update_po	22 Jul 2022, 11:46:49	1.44 KiB
	update_pot	22 Jul 2022, 11:46:49	1.82 KiB
	xml-rename	22 Jul 2022, 11:46:49	500 B
(all files in zip)