From de7b7880a69dd822d3614dccf2cf1a68afb7cbee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Geoffrey=20=E2=80=9CFrogeye=E2=80=9D=20Preud=27homme?=
 <geoffrey@frogeye.fr>
Date: Sat, 9 Dec 2023 17:34:35 +0100
Subject: [PATCH] No docker on pindakaas

---
 pindakaas/options.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pindakaas/options.nix b/pindakaas/options.nix
index 8435783..2f7df32 100644
--- a/pindakaas/options.nix
+++ b/pindakaas/options.nix
@@ -13,5 +13,4 @@
       nuit = 700;
     };
   };
-  frogeye.dev.docker = true;
 }