Skip to content
Snippets Groups Projects
Commit 16fa5be7 authored by Sören Henning's avatar Sören Henning
Browse files

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

parent cc6ae097
No related branches found
No related tags found
1 merge request!11Clean up script names
Pipeline #490 passed with warnings
Stage: build
    Stage: test
      Stage: check