diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2014-07-23 00:06:30 +0200 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2014-07-23 00:06:30 +0200 |
commit | dcf1425eb996db5d39a23c0360573f1addd4a850 (patch) | |
tree | 8276c8e9fa76fe0fa093541040d992de81eeeb22 /lib/pure | |
parent | 821fe72ff55866737c5b1d9f356b8d142f8836c3 (diff) | |
parent | ed68286c592b0f2ff0d27496c740b9e9f6b761a7 (diff) | |
download | Nim-dcf1425eb996db5d39a23c0360573f1addd4a850.tar.gz |
Merge pull request #1399 from flaviut/patch-1
Fix #1392
Diffstat (limited to 'lib/pure')
0 files changed, 0 insertions, 0 deletions