diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 2fcb317934..44a44c7ca3 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 \