| Wed, 13 Feb 2013 21:53:02 +0100 | wenzelm | clarified default according to etc/options; | changeset | files |
| Wed, 13 Feb 2013 19:52:58 +0100 | wenzelm | Java assumes regular "re-parenting" window manager; | changeset | files |
| Wed, 13 Feb 2013 17:41:27 +0100 | immler | merged | changeset | files |