[Travis] remove Travis

we are not using it anymore
2022-07-23 15:02:29 +02:00
parent 666fab995e
commit 505387d6fa
3 changed files with 0 additions and 365 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,6 @@
 # file types to ignore
 .*
 !/.gitignore
-!/.travis/
-!/.travis.yml
 !/.clang-format
 !/.git-blame-ignore-revs
 !/.gitattributes