Maximilian Keßler 457a8d3cf3 make build error if script errors		2022-01-30 21:36:18 +01:00
..
deploy	Build rework	2021-10-24 08:35:53 +00:00
ci_build.sh	make build error if script errors	2022-01-30 21:36:18 +01:00
configure_git.sh	make build error if script errors	2022-01-30 21:36:18 +01:00
get_build_repo_from_origin.sh	make build error if script errors	2022-01-30 21:36:18 +01:00
print_deploy_message.py	Build rework	2021-10-24 08:35:53 +00:00