tree b8abb00ece69f9a19e9d791322955594c37cb334
parent f9c3037b48f116b414db182473db2ad32462b3b5
author Thomas Klausner <tk@giga.or.at> 1589992520 +0200
committer Thomas Klausner <tk@giga.or.at> 1589992520 +0200

Remove obsolete script.