1 files changed, 0 insertions, 2 deletions
diff --git a/README b/README
index 551166c..4b92fa0 100644
--- a/README
+++ b/README
@@ -7,5 +7,3 @@ These files are generated using the included script, generate.sh.  They should
 not be modified directly.
 
 
-IOhannes: these files should not be in here in the first place since they are generated
-