From 12cbc24f63f495cafed7c3fdd1dcbb8b759f42b3 Mon Sep 17 00:00:00 2001 From: Stefan Bodewig Date: Sun, 26 Nov 2023 18:04:49 +0100 Subject: [PATCH] can't bootstrap without jupiter engine anymore --- build.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/build.xml b/build.xml index b2309d0001..0ecde76717 100644 --- a/build.xml +++ b/build.xml @@ -234,6 +234,7 @@ +