Remove old Travis CI scripts. (#732)

These are unused since 2278dda.
bheisler · Oct 15, 2023 · 34e64ce · 34e64ce
1 parent 5774cab
commit 34e64ce
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 64 deletions.
diff --git a/ci/install.sh b/ci/install.sh
diff --git a/ci/script.sh b/ci/script.sh