From f436fbab6bc6451369519058cba54451d381d8e3 Mon Sep 17 00:00:00 2001
From: md678685 <mathew678@hotmail.co.uk>
Date: Mon, 31 Dec 2018 14:54:59 +0000
Subject: [PATCH] Remove redundant BuildTools runs

---
 .travis.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ceaaebea5..ff0594e2c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -17,7 +17,4 @@ before_install:
   - rm -r work/
   - java -jar BuildTools.jar --rev 1.8
   - java -jar BuildTools.jar --rev 1.8.3
-  - java -jar BuildTools.jar --rev 1.9
-  - java -jar BuildTools.jar --rev 1.9.4
-  - java -jar BuildTools.jar --rev 1.13.1
   - cd ..