From 8ffd71c2d1946eff374914c9504fe79069734a5c Mon Sep 17 00:00:00 2001
From: Nilstrieb <48135649+Nilstrieb@users.noreply.github.com>
Date: Sun, 3 Dec 2023 14:59:01 +0100
Subject: [PATCH] fix name

---
 2023/day03/src/{mainrs => main.rs} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename 2023/day03/src/{mainrs => main.rs} (100%)

diff --git a/2023/day03/src/mainrs b/2023/day03/src/main.rs
similarity index 100%
rename from 2023/day03/src/mainrs
rename to 2023/day03/src/main.rs