tree 7438f87b6446ff82cc9c588a7bc06844ee1dc888
parent 4982b3df7567e596fcd499c5ea4638d0e6932e35
author Thomas Klausner <tk@giga.or.at> 1504368633 +0200
committer Thomas Klausner <tk@giga.or.at> 1504368633 +0200
HG:rename-source hg

Bump version to 1.3.0