Remove unused Travis config material

HOL-Theorem-Prover · Jan 22, 2024 · bdd231e · bdd231e
1 parent 2c9eda5
commit bdd231e
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 93 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/developers/travis/more_examples_seq b/developers/travis/more_examples_seq
diff --git a/developers/travis/selftestseq b/developers/travis/selftestseq
diff --git a/developers/travis/smallseq b/developers/travis/smallseq
diff --git a/developers/travis/vsmallseq b/developers/travis/vsmallseq