diff options
| author | BinHong Lee <binhonglee@users.noreply.github.com> | 2019-12-14 00:40:53 -0800 |
|---|---|---|
| committer | Dominik Picheta <dominikpicheta@googlemail.com> | 2019-12-15 12:45:57 +0000 |
| commit | 20a59da401dc9252707bfe57edbec8f08a7a0973 (patch) | |
| tree | 9691f6cf598124474c90dff1cfcae6736ff2fc61 /lib | |
| parent | 347a04606bddbb49f05e86188d96889617ce5136 (diff) | |
| download | Nim-20a59da401dc9252707bfe57edbec8f08a7a0973.tar.gz | |
Add `--git.devel` option to the documentation
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions