From ca7d7317e89b186556d1207ce713f6c0ca9ba783 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Mon, 4 Dec 2023 23:23:05 +0100
Subject: Day 4

I'm particularly proud of part 2.
---
 lakefile.lean | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lakefile.lean')

diff --git a/lakefile.lean b/lakefile.lean
index f7ecc97..e9ccab8 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -11,6 +11,8 @@ lean_lib «Day2» where
 
 lean_lib «Day3» where
 
+lean_lib «Day4» where
+
 lean_lib «Common» where
 
 @[default_target]
-- 
cgit v1.2.3

