Workspace of gerrit-binpkgs on build4-deb12build-ansible

	obs-mirror
	jenkins.sh	Mar 27, 2026, 5:24:46 PM	667 B
	known_hosts	Mar 27, 2026, 5:24:46 PM	832 B
	obs-upgrade-eclipse-titan.sh	Mar 27, 2026, 5:24:46 PM	1.30 KiB
(all files in zip)