Commit 68e495a5 authored by Boudewijn Rempt's avatar Boudewijn Rempt

Update the default workspace

Everytime we add a docker, we need to do this, otherwise the new
docker will be shown by default.
parent fec8f587
This diff is collapsed.
Markdown is supported
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