Workspace of build5-deb12build-ansible on build5-deb12build-ansible

	0001-build-custom-dblatex.sty-remove-DRAFT.patch	Jan 16, 2025, 11:19:09 AM	967 B
	publish-manuals-for-tags.sh	Jan 16, 2025, 11:19:09 AM	8.40 KiB
(all files in zip)