commit | 59cb39cad9eb07e85bc968990def0e4c86df09c1 | [log] [tgz] |
---|---|---|
author | Thomas Klausner <tk@giga.or.at> | Mon Oct 27 16:52:05 2014 +0100 |
committer | Thomas Klausner <tk@giga.or.at> | Mon Oct 27 16:52:05 2014 +0100 |
tree | 0f9f65e2eb933b0fe3f999e9cb71609060da6b10 | |
parent | 7c757b5ff458665d74523eee88d69798d3b52734 [diff] |
Various minor fixes.