nmbryant wlparker Fixes GUI for playing deck game view
Merge branch 'dev' of https://github.com/pelferina/wpi-suite into dev
xwen: resolve merge conflicts with dev
Merge branch 'dev' of github.com:pelferina/wpi-suite into feature-testCases