diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-05-27 19:17:51 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-05-27 19:18:08 +0200 |
| commit | 6d76df84546dd90d33a413c0bbd8df75f797767a (patch) | |
| tree | 1deca5384e48fc7c7c642761843b83a1ee9cf228 /doc/manual | |
| parent | 6ff66bfd519f076b5453b1bdcf94086b4ee658f4 (diff) | |
| download | Nim-6d76df84546dd90d33a413c0bbd8df75f797767a.tar.gz | |
fixes #4227
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions