tree 7e509588a51225c4b140b99465144bbd797ec5ff
parent 53b33f7191f3e7aacaeed85306f1e0f07b6e6207
author Thomas Klausner <tk@giga.or.at> 1592937808 +0200
committer Thomas Klausner <tk@giga.or.at> 1592937808 +0200

Remove obsolete script.