Skip to content
Snippets Groups Projects
Commit 14fb9e2b authored by Xenofon Foukas's avatar Xenofon Foukas
Browse files

Changed default scheduler to local

parent 77c4d374
No related branches found
Tags 2018.w04
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