diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2015-01-27 14:39:40 +0100 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2015-01-27 14:39:40 +0100 |
commit | 6f4cd979e850308ae932773038b1ba6d7dfe4981 (patch) | |
tree | fdfc555e339db2dabece74b2c6f34739d2724d76 /koch.nimrod.cfg | |
parent | 66040e58ecabc0ab1d891527fec161c1b1c15726 (diff) | |
parent | 16254f49a8db14d2ca7250cb8ac15f5e91f20538 (diff) | |
download | Nim-6f4cd979e850308ae932773038b1ba6d7dfe4981.tar.gz |
Merge pull request #2016 from dumndummer/patch-2
Update sets.nim
Diffstat (limited to 'koch.nimrod.cfg')
0 files changed, 0 insertions, 0 deletions