diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2016-02-16 19:40:17 +0100 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2016-02-16 19:40:17 +0100 |
commit | 7770a8be785249e7ca71f7ba7a57eaf35215dffb (patch) | |
tree | 95f8673816a09a933d6b2cbb1168f5943a02bf7b /doc/tools.txt | |
parent | 06bd5a61a463a3d361ff77c3858681e664e14937 (diff) | |
parent | 83607e5c64683374b952ba52bcdf912faf3e0556 (diff) | |
download | Nim-7770a8be785249e7ca71f7ba7a57eaf35215dffb.tar.gz |
Merge pull request #3870 from yglukhov/no-warn-emit
Dont warn about unused symbol if its used in emit
Diffstat (limited to 'doc/tools.txt')
0 files changed, 0 insertions, 0 deletions