Skip to content
Snippets Groups Projects

Rename execution script to theodolite.sh (fix #37)

Warning
Sören Henning created pipeline for commit 16fa5be7
, finished
1 related merge request: !11 Clean up script names
5 jobs 5 minutes 42 seconds, queued for 228 seconds