Viewing all changes in revision 3489.
- Committer: Tarmac
- 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.
Approved by mir-ci-bot, Daniel van Vugt, Kevin DuBois, Cemil Azizoglu.
expand all
collapse all
added
removed
