diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-08-31 12:52:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-31 12:52:36 +0200 |
commit | ccf3c2d0e10b448bde938f471ed19cc2f33d281a (patch) | |
tree | 450628e2ab31af20a7e9b06315a70a0c1681a5fd /core/set.h | |
parent | 5e4ccc56d8595fb4d9a80141a632938084940195 (diff) | |
parent | ab2f41f5985bf4a877d8bee0fa22bc8e53f3397d (diff) |
Merge pull request #41077 from Calinou/doc-find-node-find-parent
Mention performance caveats about `find_node()` and `find_parent()`
Diffstat (limited to 'core/set.h')
0 files changed, 0 insertions, 0 deletions