Maximilian Keßler e2d4d57eb0 update ci build script to have built packages available when generating documentation		2022-01-30 21:56:06 +01:00
..
deploy	Build rework	2021-10-24 08:35:53 +00:00
ci_build.sh	update ci build script to have built packages available when generating documentation	2022-01-30 21:56:06 +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