tree 1001a0d25b4d9ae855d86c3be19bfe3a04c758d6
parent 481a484df3c66fb8b5fbe38a1f0a42e7862bf97d
author Thomas Klausner <tk@giga.or.at> 1453819963 +0100
committer Thomas Klausner <tk@giga.or.at> 1453819963 +0100
HG:rename-source hg

Replace reference to modify with ziptool