diff options
author | Flaviu Tamas <tamasflaviu@gmail.com> | 2018-10-01 21:38:56 -0400 |
---|---|---|
committer | Flaviu Tamas <tamasflaviu@gmail.com> | 2018-10-01 21:38:56 -0400 |
commit | a0ac0b9696f3a79fbde153c63878aea363b09ad4 (patch) | |
tree | 9fd53a67827c70f218862a21ec03e751f22e9dfd /doc | |
parent | 179791aa9a3d7e47883b07852025776cf5e7b9aa (diff) | |
download | Nim-a0ac0b9696f3a79fbde153c63878aea363b09ad4.tar.gz |
Fix option documentation in nre (fixes #9053)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions