From 39aa8a7031db605dbc723acdd9c9f71def61bd2a Mon Sep 17 00:00:00 2001 From: Ben Evans Date: Wed, 18 Dec 2024 15:53:07 +0000 Subject: [PATCH] Tidy up --- Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 65e80a1..db116ab 100644 --- a/Dockerfile +++ b/Dockerfile @@ -58,7 +58,6 @@ RUN apt-get update && \ clang \ lldb \ gdb \ - # python3-dev \ gh \ valgrind \ "libpetsc-real*-dbg" \