From 6554499717d70d5656a3b38a20dc60850674a873 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Wed, 18 Sep 2024 10:00:04 +0200
Subject: Begin Day 11.

---
 Main.lean | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Main.lean')

diff --git a/Main.lean b/Main.lean
index 05f34d3..5adfb28 100644
--- a/Main.lean
+++ b/Main.lean
@@ -9,6 +9,7 @@ import «Day7»
 import «Day8»
 import «Day9»
 import «Day10»
+import «Day11»
 
 open DayPart
 
-- 
cgit v1.2.3

