summary refs log tree commit diff stats
path: root/doc
diff options
context:
space:
mode:
authorAraq <rumpf_a@web.de>2012-08-30 22:55:32 +0200
committerAraq <rumpf_a@web.de>2012-08-30 22:55:32 +0200
commit1d14cb1ad8d4d98ea19daa2d5ab6ded59d58553a (patch)
treec32929ff723358f440415d7610fd283f58f17a91 /doc
parent1786e3099141f6548e9f6cd4f4998d32f602b71d (diff)
downloadNim-1d14cb1ad8d4d98ea19daa2d5ab6ded59d58553a.tar.gz
next steps towards term rewriting macros; simple examples work
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/advopt.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/advopt.txt b/doc/advopt.txt
index 9a642addb..dba0a009a 100755
--- a/doc/advopt.txt
+++ b/doc/advopt.txt
@@ -55,6 +55,7 @@ Advanced options:
   --taintMode:on|off        turn taint mode on|off
   --symbolFiles:on|off      turn symbol files on|off (experimental)
   --implicitStatic:on|off   turn implicit compile time evaluation on|off
+  --patterns:on|off         turn pattern matching on|off
   --skipCfg                 do not read the general configuration file
   --skipUserCfg             do not read the user's configuration file
   --skipParentCfg           do not read the parent dirs' configuration files