Delete Travis CI files

agda · Feb 17, 2024 · c480dee · c480dee
1 parent 0b8a99a
commit c480dee
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 360 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/.travis/cabal_install b/.travis/cabal_install
diff --git a/.travis/header.sh b/.travis/header.sh