From b45ab26e0378d6d4542fd75d14cc55c25d7f2310 Mon Sep 17 00:00:00 2001
From: moebiusband73 <jan.treibig@gmail.com>
Date: Mon, 7 Sep 2020 07:42:45 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index a1ad250..ba47bcb 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,7 @@ You have to call `make clean` before `make` if you changed the build settings.
 
 ## Configuration
 
-Currently all settings are hard-coded in `main.c`.
+Currently all settings apart from the options described below are hard-coded in `main.c`.
 
 ## Run the benchmark