tdlight-java-natives-linux-.../jenkins/scripts/deliver.sh

#!/bin/bash -e
echo "Delivered."
Update Jenkinsfile, deliver.sh, and 2 more files... 2020-10-03 11:34:56 +02:00			`#!/bin/bash -e`
			`echo "Delivered."`