From 1e52263fb377a000198ebb74352dd9e07c69b278 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Thu, 29 Dec 2016 19:52:18 +0100
Subject: Removing a \ leftover

---
 docker/base/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docker/base/Dockerfile')

diff --git a/docker/base/Dockerfile b/docker/base/Dockerfile
index 56e157f..3409c5d 100644
--- a/docker/base/Dockerfile
+++ b/docker/base/Dockerfile
@@ -16,7 +16,7 @@ RUN apt-get update && apt-get install -qqy \
       libmicrohttpd-dev \
       libcurl4-gnutls-dev \
       python3 \
-      python3-pip \
+      python3-pip
 
 # Needed to run the config generator
 RUN pip3 install click
-- 
cgit v1.2.3