tree 71043b3361dc0bfc62722c36a977112d0724893d
parent c13ace79154350fd571f7e644ccd9ec1ef82a432
author Thomas Klausner <tk@giga.or.at> 1589819391 +0200
committer Thomas Klausner <tk@giga.or.at> 1589819391 +0200

Remove make_zip_err_str.sh, not used any longer.