diff options
| author | cooldome <cdome@bk.ru> | 2017-12-17 22:56:21 +0000 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2017-12-17 23:56:21 +0100 |
| commit | 3659fec72551bd14f893b8eef6ea606a8b929a49 (patch) | |
| tree | 1c7c06cc212aa9613452fbdf48b7ea745a5b3fbe /.gitignore | |
| parent | 69aeb86f49ac39e6a305974840ea5e2abad12717 (diff) | |
| download | Nim-3659fec72551bd14f893b8eef6ea606a8b929a49.tar.gz | |
Alternative fix for #4910 that covers #6892; fixes #6892 (#6938)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions