[MASTER] Fix Issue #82 - Pushed boulder can collide with pusher #201
Open
crkellen wants to merge 7 commits intoTurningWheel:masterfrom crkellen:master-issue-82-PushBoulderKillSelf
+233-73
Commits
Commits on Oct 12, 2017
Commits on Oct 14, 2017
Commits on Oct 20, 2017
- committedLutz