diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-29 19:52:18 +0100 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-12-29 19:52:18 +0100 |
| commit | 1e52263fb377a000198ebb74352dd9e07c69b278 (patch) | |
| tree | fad672a25fd3e80e8e0a4ca9e9a52d209b14290a | |
| parent | 853c074c734c2086b82df9bacd831af1bb98650b (diff) | |
| download | deployment-1e52263fb377a000198ebb74352dd9e07c69b278.tar.gz deployment-1e52263fb377a000198ebb74352dd9e07c69b278.tar.bz2 deployment-1e52263fb377a000198ebb74352dd9e07c69b278.zip | |
Removing a \ leftover
| -rw-r--r-- | docker/base/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |