From 33fd192853abc244af0ade88cbdea5542c4a12e9 Mon Sep 17 00:00:00 2001 From: Isabell Pflug Date: Fri, 17 Apr 2026 16:12:17 +0200 Subject: [PATCH] :bug: Fixed README.md (now for real) --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5b9be5f..3cb194d 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,9 @@ # Algorithmisches Beweisen - LAB - +

Gitmoji - +

+ Files and projects of this repository: - `Makefile` : Compiles every project for you.