tree 588a88dc9a89dd98597202e2c9d1afc88d83ad54
parent 444c27a2dcdc0aadb548c2ee5d988bc8bc48d98d
parent e8fd5481ca34fce8672054bc881b7c0395497414
author Thomas Klausner <tk@giga.or.at> 1332247381 +0100
committer Thomas Klausner <tk@giga.or.at> 1332247381 +0100
HG:rename-source hg

Merge 0.10.1 into head.
Bump head version to 0.10b to diffentiate bugfixed version.