From cba0b49eb6e2782438df1394a3d42e424d9bc968 Mon Sep 17 00:00:00 2001 From: jvoisin Date: Mon, 13 Jul 2015 13:35:49 +0200 Subject: Remove useless scripts --- run_tests.sh | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100755 run_tests.sh (limited to 'run_tests.sh') diff --git a/run_tests.sh b/run_tests.sh deleted file mode 100755 index 3ad2ea1..0000000 --- a/run_tests.sh +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/bash - -#