diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-09-20 13:32:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-20 13:32:33 +0200 |
| commit | 928ea6bb4c0cc791f1b81e55dbebd14d5c6a7315 (patch) | |
| tree | f256e15636301b2acd8e82cb7a53c021e3bd6391 /tools/urldownloader.nim | |
| parent | 3d7c52f3cd6c08a175a8e8f8ed79757dd027648f (diff) | |
| download | Nim-928ea6bb4c0cc791f1b81e55dbebd14d5c6a7315.tar.gz | |
atlas: added --cfgHere switch [backport] (#18873)
Diffstat (limited to 'tools/urldownloader.nim')
0 files changed, 0 insertions, 0 deletions