diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2017-03-28 20:57:34 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-03-28 20:57:34 +0200 |
| commit | b58fbd1b48bd0e0eaf334422d84ad7cd9238f243 (patch) | |
| tree | f1c9ad450b6b1d6c935b43986c46cdd4381ccda2 /tools/niminst | |
| parent | 172a9c8e97694846c3348983a9b2b7c2931c939d (diff) | |
| download | Nim-b58fbd1b48bd0e0eaf334422d84ad7cd9238f243.tar.gz | |
fixes #5618
Diffstat (limited to 'tools/niminst')
0 files changed, 0 insertions, 0 deletions