Workspace of d-i_manual_id_pdf_po2xml on Built-In Node

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