diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 5da04d881f..5cf2ff4ecc 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -4,9 +4,6 @@ ARG DEBIAN_FRONTEND=noninteractive # We need libpython2.7 due to GDB tools RUN : \ - && apt-get update \ - && apt-get install -y software-properties-common \ - && add-apt-repository -y ppa:git-core/ppa \ && apt-get update \ && apt-get install -y \ apt-utils \