Skip to content

Bug has been fixed: impossible to close points after editing#98

Merged
nmanovic merged 1 commit intodevelopfrom points_editing_fixSep 28, 2018

Commits

Commits on Sep 27, 2018