ruboto/ruboto — pull request #279 by ludvicekj (2012-11-09 22:59:45+00:00)
Title: add platform-tools/ to $PATH

Reffering to the issue https://github.com/ruboto/ruboto/issues/229#issuecomment-10246148 it would be nice to mention that it is necessary to add both `tools/` and `platform-tools/` to the `$PATH`