From 86c3ac6a611d7e4eaa9eb017036e8ef3b20b0cd9 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Sun, 16 Dec 2018 20:53:50 +0100
Subject: [PATCH] see what breaks with a global config.nims

---
 config/config.nims | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 config/config.nims

diff --git a/config/config.nims b/config/config.nims
new file mode 100644
index 0000000000..3f0d9e1b83
--- /dev/null
+++ b/config/config.nims
@@ -0,0 +1 @@
+# empty config.nims to prevent future regressions, see #9990