tree ff75f49211022192352014c34906bb5c0cb12409
parent b257b9de4233e26aa71fe64f3b24654df0b06970
author Thomas Klausner <tk@giga.or.at> 1472138696 +0200
committer Thomas Klausner <tk@giga.or.at> 1472138696 +0200
HG:rename-source hg

Fix make distcheck by cleaning up more files.