From d30aeb177286de3f700f0ab642031277a237f5d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 16 Jul 2019 16:04:27 +0200
Subject: [PATCH] build: remove obsolete jenkins.sh

---
 jenkins.sh | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 jenkins.sh

diff --git a/jenkins.sh b/jenkins.sh
deleted file mode 100755
index 0962b83..0000000
--- a/jenkins.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-
-pip install --upgrade setuptools
-pip install --upgrade pip
-pip install tox
-
-tox -r