diff options
| -rw-r--r-- | docker/Dockerfile | 1 | 
1 files changed, 0 insertions, 1 deletions
| diff --git a/docker/Dockerfile b/docker/Dockerfile index 0b3c4594..8e9f6509 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -56,7 +56,6 @@ RUN apt-get update && apt-get install -y \        kernel-package \        libtool \        libglib2.0-dev \ -      libboost-filesystem-dev \        libapt-pkg-dev \        libncurses5-dev \        flex \ | 
