| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-07-24 | Improve formatting of StateTimer output. | Carl Hetherington |
| 2019-05-10 | Add some very basic timing of the player. | Carl Hetherington |
| 2018-08-12 | White space. | Carl Hetherington |
| 2016-05-25 | No-op; fix GPL address and use the explicit-program-name version. | Carl Hetherington |
| 2015-06-21 | No-op: remove all trailing whitespace. | Carl Hetherington |
| 2013-02-28 | Various markup and tweaks. | Carl Hetherington |
| 2012-07-15 | Move things round a bit. | Carl Hetherington |
