Sun, 18 Jan 2015 20:38:34 +0100more minor cleanup
Edouard Tisserant [Sun, 18 Jan 2015 20:38:34 +0100] rev 1431
more minor cleanup

Sun, 18 Jan 2015 19:41:27 +0100minor cleanup
Edouard Tisserant [Sun, 18 Jan 2015 19:41:27 +0100] rev 1430
minor cleanup

Fri, 16 Jan 2015 22:09:28 +0100merged forgotten changes
Edouard Tisserant [Fri, 16 Jan 2015 22:09:28 +0100] rev 1429
merged forgotten changes