From 65e7bee993f06cf2f5dab00abe4ffdb18b082afb Mon Sep 17 00:00:00 2001
From: Pierre Grandin <grandinp@gmail.com>
Date: Sun, 29 Oct 2017 16:35:33 -0700
Subject: Dummy commit to trigger a build

---
 ci/run_linux_tests.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ci/run_linux_tests.sh b/ci/run_linux_tests.sh
index 135c750bb..ab7840159 100644
--- a/ci/run_linux_tests.sh
+++ b/ci/run_linux_tests.sh
@@ -1,5 +1,4 @@
 #!/bin/bash
-
 set -e
 
 pushd ~/linux-bin/navit/
-- 
cgit v1.2.1