diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2017-03-26 09:30:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-26 09:30:59 +0200 |
| commit | 1268ca79e5436e33a9fca0999477adf8f3e937ae (patch) | |
| tree | ca0e18f2a078a3856c98498d5941c01073b5762c /.gitignore | |
| parent | 21b03257ef62609c3ce29b2c61bebb5cc6b0a243 (diff) | |
| download | Nim-1268ca79e5436e33a9fca0999477adf8f3e937ae.tar.gz | |
fixes #5599 (#5610)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions