From e9a894a354fbba0eea0e4b0816ab4cfc74a059a9 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 09:07:06 +0200
Subject: [PATCH] itemize

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7ea6750..5dc2adb 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,8 @@ During the evolution of the website, the build time has changed dramatically.
 It used to take around 5 minutes to build, with a few optimizations it now only takes up 15 seconds. 
 
 The biggest slowdowns were:
-    * unneeded iterations
+
+* unneeded iterations
         * iterations within iterations (usually not required, if one thinks carefully)
         * `if` conditions within a loop, instead of a `where` clause
         * full iteration to extract a single item (use `first` instead)
-- 
GitLab