From 71d6af397854e3139908f0ec3c71a3e02af4cb60 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=20Kr=C3=BCger?= Date: Sun, 24 Jan 2021 03:16:46 +0100 Subject: [PATCH] readme --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 87d2b96..5fa6c52 100644 --- a/README.md +++ b/README.md @@ -26,3 +26,5 @@ $ ./gen_core_extensions.py -n 5000 ## main.py Does **NOT** have to be called from any specific directory! + +The `-i` (`--instance`) parameter has to be a core extension