| Thu, 31 Oct 2013 20:50:20 -0400 | nemo | so, lack of this was causing the team area to be too squat. at this point tho, I get the impression qt.css is outright replaced by birthday/christmas. This seems inconvenient, and if so, we should merge in changes to qt.css which has quite a bit more stuff in it | changeset | files |
| Thu, 31 Oct 2013 23:27:46 +0400 | unc0rr | Ensure checkers don't check same replay simultaneously | changeset | files |
| Thu, 31 Oct 2013 23:27:06 +0400 | unc0rr | Fix 'non-exhaustive pattern' server crash | changeset | files |