Remove unused script

I forgot to remove it in e7aef4e.
sbuerk · Apr 10, 2024 · a527330 · a527330
1 parent e5db00e
commit a527330
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/ci/travis/install-mariadb.sh b/ci/travis/install-mariadb.sh