diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-09-21 12:35:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-21 12:35:23 +0200 |
| commit | c2434d939e193c066fad1eaefcba486dc0af6087 (patch) | |
| tree | 7cc32ca39227518724ffc242c4d6ccb6c0456d91 /.gitignore | |
| parent | 0a1e4cad7fc6149d168ecaa06bd613b64fc704fb (diff) | |
| download | Nim-c2434d939e193c066fad1eaefcba486dc0af6087.tar.gz | |
fixes #15360 [backport:1.2] (#15378)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions