tree 6011ba80f57810936d87a2c9b17536370daedb9a
parent 2802db1c32c4d849780a5dd2e1697ac02e7cf51b
author Thomas Klausner <tk@giga.or.at> 1416319958 +0100
committer Thomas Klausner <tk@giga.or.at> 1416319958 +0100
HG:rename-source hg

Minor improvements.