Merge pull request modelica#2332 from beutlich/remove-Travis-CI

Remove Travis CI As far as I understand this was no longer needed.
sjoelund · Mar 19, 2019 · dbd05aa · dbd05aa
2 parents 1a418d6 + c62b47b
commit dbd05aa
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 49 deletions.
diff --git a/.travis.yml b/.travis.yml
diff --git a/.travis_install.sh b/.travis_install.sh
diff --git a/.travis_texlive.profile b/.travis_texlive.profile