structure_assignment/scripts
2020-09-30 17:07:26 +02:00
..
.gitignore IssueID #1537: tweaked .gitignore 2020-09-30 17:07:26 +02:00
pipeline.py IssueID #1487: expanded/configured pipeline 2020-09-30 16:38:42 +02:00
setup.sh IssueID #1487: updated path to script 2020-09-30 17:06:54 +02:00