diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2020-05-20 00:41:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-20 00:41:57 +0200 |
commit | 16003bffe1ceef0b57ecccef23be31f760120f89 (patch) | |
tree | 2729186c444919207f7729a73da575a3a95dde8f /doc/sets_fragment.txt | |
parent | b35d370d885b07d3f4eca527197f42f532bdcf64 (diff) | |
download | Nim-16003bffe1ceef0b57ecccef23be31f760120f89.tar.gz |
fixes #14126 [backport:1.2] (#14390)
* fixes #14126 [backport:1.2] * used more logic to optimize it further; updated Nimble version
Diffstat (limited to 'doc/sets_fragment.txt')
0 files changed, 0 insertions, 0 deletions