diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-05-28 11:24:29 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2018-05-28 11:24:29 +0200 |
| commit | 3221ac094398492e09ea618638204793b0990eca (patch) | |
| tree | 49be51c0fef32460ef4cb022b26d1332d865f3d7 /tools | |
| parent | 7e8eadb6ba9c94ea429ee7178e8cc8fbcbf558ea (diff) | |
| download | Nim-3221ac094398492e09ea618638204793b0990eca.tar.gz | |
hotfix for --gc:regions
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions