diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2019-09-16 15:38:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-16 15:38:07 +0200 |
| commit | 059a16b34dedca49be603fef40185cbfb8938bed (patch) | |
| tree | 27ad23581cfc73d6f420d11c2ad31a676ad50975 /tools/niminst | |
| parent | 2a59f499e9f5a8aa8ad03891afd38f7641f52a49 (diff) | |
| download | Nim-059a16b34dedca49be603fef40185cbfb8938bed.tar.gz | |
fixes #12193 (#12199)
Diffstat (limited to 'tools/niminst')
0 files changed, 0 insertions, 0 deletions