From 201dbe2a5b615438fd81ad8ddb874d9fb0e47ba7 Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Wed, 11 May 2022 19:40:26 +0200
Subject: minor

---
 README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 210ca92..c24aaf4 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,7 @@
-
-
 ## Setup
 
 ### Install Docker
+
 <ul>
     <li> (Mac, Linux) Follow the [installation instructions](https://docs.docker.com/get-docker/) </li>
     <li>(Windows):
@@ -13,7 +12,6 @@
             </li>
             </ul>
 
-
 ### Install VS Code.
 
 Select File -> Open and select *the entire folder*.
-- 
cgit v1.2.1