diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2018-06-24 09:52:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-24 09:52:45 +0200 |
commit | fbac233dae61016166dd4dce922559479c45e5b1 (patch) | |
tree | 39d3f5d2e41a1c97220b9a8f2ed5160198d60f44 /lib/pure/collections/heapqueue.nim | |
parent | 371f87e9626ce84a55b3d8e1aa1bc3a97ebcc91b (diff) | |
parent | 059ddeee10a7b6e3805891b68205e01c045e038d (diff) | |
download | Nim-fbac233dae61016166dd4dce922559479c45e5b1.tar.gz |
Merge pull request #8092 from FedericoCeratto/patch-10
Minor doc fix
Diffstat (limited to 'lib/pure/collections/heapqueue.nim')
0 files changed, 0 insertions, 0 deletions