diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2015-01-27 14:29:20 +0100 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2015-01-27 14:29:20 +0100 |
commit | 52c456fee8f9e9f9b3bcac6382f3842eae3e8b09 (patch) | |
tree | 5bfc9bbfb02c961aa8c2252bdef0a4f201f1e94f /lib/pure/collections | |
parent | 792a8dc70271460e5992b1a67c2e12c2cc456f85 (diff) | |
parent | dfdd84f2c9b9a2f1e2e4c649f971a6da22d1bd8e (diff) | |
download | Nim-52c456fee8f9e9f9b3bcac6382f3842eae3e8b09.tar.gz |
Merge pull request #2005 from def-/fix-estp
Make ESTP compile
Diffstat (limited to 'lib/pure/collections')
0 files changed, 0 insertions, 0 deletions