| Wed, 12 Feb 2014 14:32:45 +0100 | wenzelm | merged, resolving some conflicts; | changeset | files |
| Wed, 12 Feb 2014 13:56:43 +0100 | wenzelm | eliminated hard tabs (assuming tab-width=2); | changeset | files |
| Wed, 12 Feb 2014 13:53:11 +0100 | wenzelm | more platform notes; | changeset | files |