Update to devprev and main
Greetings! We have some bug fixes going out to devprev and main today. Here's what you will see:
- Fix bug in intro puzzles where extraneous tools were available when they should not have been.
- Fix crashing bug due to localization errors.
Thanks, everyone!(Wed, 06/12/2013 - 18:32 | 0 comments)