From 41a738ce16244959e7acd4c7864413ce108b4fd9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?James=20Pether=20S=C3=B6rling?=
 <pethers@users.noreply.github.com>
Date: Sat, 18 Jan 2025 17:36:00 +0100
Subject: [PATCH] Update devcontainer.json (#7056)

---
 .devcontainer/devcontainer.json | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index cd5f0fdf86..6cbfc8829c 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -89,7 +89,6 @@
             "-B",
             "clean",
             "install",
-            "-Pall-modules",
             "-DforkMode=once",
             "-pl",
             "!cia-dist-deb",
@@ -114,7 +113,6 @@
           "args": [
             "clean",
             "install",
-            "-Pall-modules",
             "-pl",
             "!cia-dist-deb",
             "-DskipTests",