diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2021-11-24 15:49:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-24 15:49:32 +0100 |
| commit | a0073d2d4c18f030eccef98a130f7f1f2ad9d67a (patch) | |
| tree | e878dc9af846deca505d30a67ca5858d8a773dd6 /.builds | |
| parent | c7c6b13a325958c6b55cbec2eb812eb06074101b (diff) | |
| download | Nim-a0073d2d4c18f030eccef98a130f7f1f2ad9d67a.tar.gz | |
renamed 'gc' switch to 'mm'; [backport:1.6] (#19187)
* renamed 'gc' switch to 'mm'; [backport:1.6] * better docs
Diffstat (limited to '.builds')
0 files changed, 0 insertions, 0 deletions