diff options
| author | Fabian Keller <bluenote10@users.noreply.github.com> | 2017-03-05 10:44:25 +0100 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-03-05 10:44:25 +0100 |
| commit | d1d32f657adb957898f73520eadddc5e1df8ca5d (patch) | |
| tree | 54bd6dfd79b71634ba3b07cf0f5716a1efedb3e4 /install_tools.nims | |
| parent | 93305443aa0efc94906f4977f5eb68748addd426 (diff) | |
| download | Nim-d1d32f657adb957898f73520eadddc5e1df8ca5d.tar.gz | |
tiny docstring fix; fixes #5483 (#5484)
Diffstat (limited to 'install_tools.nims')
0 files changed, 0 insertions, 0 deletions