-
Committer:
Tarmac
-
Author(s):
Alan Griffiths
-
Date:
2016-05-02 04:39:53 UTC
-
mfrom:
(3475.2.3 mir4)
-
Revision ID:
tarmac-20160502043953-jch531384dxkuc61
playground: get rid of the legacy DefaultWindowManager (and the --window-manager option) in mir_proving_server.
Approved by mir-ci-bot, Daniel van Vugt, Kevin DuBois, Cemil Azizoglu.