Skip to content
Snippets Groups Projects
Commit d58533f6 authored by Bernd Flemisch's avatar Bernd Flemisch
Browse files

Merge branch 'feature/fix-scotchbackend-if-ptscotch-not-found' into 'master' 

Do nothing and give warning if scotch wasn't found

See merge request !651
parents 8837f83c 11c0e58d
1 merge request!651Do nothing and give warning if scotch wasn't found
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