mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-22 13:19:48 +01:00
This prevents an error in which translations which omitted the space would cause an exception (because the code tries to split the string on space). http://code.google.com/p/arduino/issues/detail?id=964