From: Willem Visser <willem@gmail.com>
Date: Tue, 17 Apr 2018 12:23:18 +0000 (+0200)
Subject: Delete travis support from dev
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=9abf53c60f58cf0d8bcdbf387140e70693802df3;p=jpf-core.git

Delete travis support from dev

It was already added to master, no need for this duplication
---

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 0f4d5f0..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,4 +0,0 @@
-language: java
-script: 
-   - ant build
-   - ant test