diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-03-05 12:04:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-05 12:04:23 +0100 |
commit | e6952cad3ac1f80a40f29c950ed15b9d8bb8b588 (patch) | |
tree | 3128ce2b16802167fb214d87e2eb543949a58fd1 /tools/editor/icons/icon_translation.png | |
parent | 630158c992d62ab1722bf77c26f1be8955b1bce9 (diff) | |
parent | 0e0b6ec4439bfb692ddc7a1f0ba15068c0e3a96c (diff) |
Merge pull request #7950 from RandomShaper/expose-more-geom
Expose uncapped versions of closest-point-to-segment utilities
Diffstat (limited to 'tools/editor/icons/icon_translation.png')
0 files changed, 0 insertions, 0 deletions