diff options
author | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-06-21 14:47:14 +0100 |
---|---|---|
committer | Marcel Admiraal <madmiraal@users.noreply.github.com> | 2020-06-21 14:48:01 +0100 |
commit | f5b99b578eb3e85128e84c64ebd52cababad67e2 (patch) | |
tree | 5786d8d9b6f7628abe81a1b2c2403e65ae6f0865 /editor/plugin_config_dialog.h | |
parent | 277d2f1f50fe060ad7ff4b2696bf67a742a0ea83 (diff) |
Check if point's index exists before adding it to the list of points
that need to split faces when avoiding creating degenerate faces
while merging CSG faces.
Diffstat (limited to 'editor/plugin_config_dialog.h')
0 files changed, 0 insertions, 0 deletions