Skip to content
Snippets Groups Projects
Commit bc168805 authored by Dominik Burri's avatar Dominik Burri
Browse files

Merge branch 'dev' into results_dir 

Update feature branch for later merging.
parents 9308bd60 f67aafb2
No related branches found
No related tags found
1 merge request!78Remove unnecessary files in results directory
Pipeline #11938 passed
Stage: test
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment