diff options
author | Pieter Wuille <pieter.wuille@gmail.com> | 2017-06-05 12:17:40 -0700 |
---|---|---|
committer | Pieter Wuille <pieter.wuille@gmail.com> | 2017-06-09 13:23:20 -0700 |
commit | e241a63c23239adf54fe69baf02f3159222b71e4 (patch) | |
tree | 71f0784ba648f1c0d2e7ab73df7c1de9c776c02e /.gitattributes | |
parent | 400fdd08cc95f1e85afafd07ddd9c0bed11483ea (diff) |
Clarify prevector::erase and avoid swap-to-clear
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions