diff options
author | Ryan Roden-Corrent <ryan@rcorre.net> | 2022-04-05 07:07:56 -0400 |
---|---|---|
committer | Ryan Roden-Corrent <ryan@rcorre.net> | 2022-04-05 07:07:56 -0400 |
commit | f84e2db35e2f6eceb4f8c3a1e8e9de7adf6f4c30 (patch) | |
tree | adec69622b3dbd6c29339120a1d37f778a47abc3 /thirdparty/harfbuzz/src/hb-subset-input.hh | |
parent | 60f8df380df7ddc5dde4de4384b488e8a342ce79 (diff) |
Clarify Array.erase for nonexistant element.
The docs specify that Array.remove does nothing if the index does not
exist. Array.erase does not have a similar phrase, so it's unclear if
erase will print an error, or silently do nothing.
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-subset-input.hh')
0 files changed, 0 insertions, 0 deletions