-
Committer:
Alan Griffiths
-
Author(s):
Daniel van Vugt
-
Date:
2014-12-11 09:28:53 UTC
-
mfrom:
(2145.1.1 basic)
-
Revision ID:
alan@octopull.co.uk-20141211092853-fpg0ytbfn06w51z0
Rename mir_demo_server back to mir_demo_server_basic.
It's still confusing given we also have mir_demo_server_{minimal,shell}
but this makes things more consistent at least, and fixes a CI build
failure (LP: #1401365)