diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-29 12:07:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 12:07:25 +0200 |
| commit | 8fb7a9f0233f61d7a18359523002ab38797f6853 (patch) | |
| tree | b3dbbea09c956d1d9bf61bf89df3b877d8678b91 /thirdparty/misc | |
| parent | 8597db0ac2368f8c62c11099faa273f1b9311548 (diff) | |
| parent | 899e5f8685dc10df5b24a1b765803e19224be61c (diff) | |
Merge pull request #49719 from LightningAA/rename-node-is-ancestor-of
Rename `is_a_parent_of()` to `is_ancestor_of()`
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions