Point doc upload at documen.tician.de (9dd345bb) · Commits · Andreas Klöckner / ci-support

ci-support.sh

+1 −1

Original line number	Diff line number	Diff line
		@@ -560,7 +560,7 @@ Host doc-upload
		User doc
		IdentityFile doc_upload_key
		IdentitiesOnly yes
		Hostname marten.tiker.net
		Hostname documen.tician.de
		Port 2222
		StrictHostKeyChecking false
		END