From 441b7c0d806e07a3c90ee50b1a7005bed3f5d4ca Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Fri, 11 Mar 2022 13:12:58 +0100 Subject: [PATCH] not under construction anymore --- README.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/README.md b/README.md index 1679aa4..fba7fa0 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,3 @@ -**Under Construction!** - # Logic and Computability - Practical Bonus Assignments 2022 This repository will be used for submissions of *Logic and Computability* practical assignments in the summer semester 2022. @@ -16,7 +14,7 @@ git clone https://git.pranger.xyz/sp/lub2022-practical.git --origin upstream ``` 2. Start with solving the examples! -We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions. +_We will provide you with your own repositories over the course of the next week. As soon as you have these repositories, we will give you a short description on how you can push your solutions._