]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "Made spatial picking optimization optional for now"
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Wed, 26 Sep 2018 06:37:15 +0000 (06:37 +0000)
committerGerrit Code Review <gerrit2@simantics>
Wed, 26 Sep 2018 06:37:15 +0000 (06:37 +0000)

Trivial merge