From e791878104caacc9c9b56dbe9d705e764ec3c3fa Mon Sep 17 00:00:00 2001
From: Erick Hitter <git-contrib@ethitter.com>
Date: Sat, 23 Feb 2019 17:45:14 -0800
Subject: [PATCH] Remove, will use a dedicated image for shell linting
---
debian/jessie/Dockerfile | 1 -
1 file changed, 1 deletion(-)
diff --git a/debian/jessie/Dockerfile b/debian/jessie/Dockerfile
index f08f3c1..8035486 100644
--- a/debian/jessie/Dockerfile
+++ b/debian/jessie/Dockerfile
@@ -27,7 +27,6 @@ RUN apt-get update \
libpcre3 \
libpcre3-dev \
libz-dev \
- shellcheck \
gnupg \
libssl-dev \
&& apt-get clean \
--
GitLab