diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2016-09-13 14:07:28 +0200 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2016-09-13 16:33:43 +0200 |
| commit | 3a5edd2c6c61ce06cd780de2b53d6839fac71d7c (patch) | |
| tree | 2c0b36d0be92252d92301c8105fb7b9805ff894e /config | |
| parent | 03768e7da08c5f37a56b738c61c33b6ed7121a05 (diff) | |
| download | Nim-3a5edd2c6c61ce06cd780de2b53d6839fac71d7c.tar.gz | |
fixes #4671
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions