Revision 92902dc0c7ee2b8fa89f4159d1c34e8117fdd3c5

Committed on 11/05/2012 5:29 am by Konrad Dzwinel <[email protected]> [GitHub Diff]

Merge branch 'developer-tools-integration'.
Developer tools integration is now a main branch of this project.

Conflicts:
.gitignore
manifest.json
other/ezdebug.pem