From e9560aab80d9f564f2bf17770280976d4901d0bf Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 2 Mar 2018 15:40:27 +0100
Subject: [PATCH] Trigger Travis build

---
 .travis.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index c5dd351c..9d2314b6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,4 +23,3 @@ notifications:
       - klein@tcs.inf.tu-dresden.de
     on_success: change
     on_failure: always
-