Remove scip/zimpl binaries from shared repository
Compare changes
- Robin Sonnabend authored
Update protokollsystem See merge request !11
@@ -39,6 +39,7 @@ URL_PARAMS = ""
@@ -39,6 +39,7 @@ URL_PARAMS = ""
Update protokollsystem See merge request !11