tree 0f9f65e2eb933b0fe3f999e9cb71609060da6b10
parent 7c757b5ff458665d74523eee88d69798d3b52734
author Thomas Klausner <tk@giga.or.at> 1414425125 +0100
committer Thomas Klausner <tk@giga.or.at> 1414425125 +0100
HG:rename-source hg

Various minor fixes.