diff options
author | Araq <rumpf_a@web.de> | 2012-08-30 22:55:32 +0200 |
---|---|---|
committer | Araq <rumpf_a@web.de> | 2012-08-30 22:55:32 +0200 |
commit | 1d14cb1ad8d4d98ea19daa2d5ab6ded59d58553a (patch) | |
tree | c32929ff723358f440415d7610fd283f58f17a91 /doc | |
parent | 1786e3099141f6548e9f6cd4f4998d32f602b71d (diff) | |
download | Nim-1d14cb1ad8d4d98ea19daa2d5ab6ded59d58553a.tar.gz |
next steps towards term rewriting macros; simple examples work
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/advopt.txt | 1 |
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 |