summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorAraq <rumpf_a@web.de>2018-12-16 20:53:50 +0100
committerAraq <rumpf_a@web.de>2018-12-16 20:53:50 +0100
commit86c3ac6a611d7e4eaa9eb017036e8ef3b20b0cd9 (patch)
tree712de83e932e66fc6c523584387e9bd4cc42ec32
parent9526009e0eb89b3ce2b881cb35384f9b3ef1e02c (diff)
downloadNim-86c3ac6a611d7e4eaa9eb017036e8ef3b20b0cd9.tar.gz
see what breaks with a global config.nims
-rw-r--r--config/config.nims1
1 files changed, 1 insertions, 0 deletions
diff --git a/config/config.nims b/config/config.nims
new file mode 100644
index 000000000..3f0d9e1b8
--- /dev/null
+++ b/config/config.nims
@@ -0,0 +1 @@
+# empty config.nims to prevent future regressions, see #9990