Clone of official tools

Committer:
The Other Jimmy
Date:
Wed Jan 04 11:58:24 2017 -0600
Revision:
31:8ea194f6145b
Update tools to follow mbed-os tools release 5.3.1

Who changed what in which revision?

UserRevisionLine numberNew contents of line
The Other Jimmy 31:8ea194f6145b 1 <?xml version="1.0" encoding="utf-8"?>
The Other Jimmy 31:8ea194f6145b 2 <workspace>
The Other Jimmy 31:8ea194f6145b 3 <project>
The Other Jimmy 31:8ea194f6145b 4 <path>$WS_DIR${{ewp}}</path>
The Other Jimmy 31:8ea194f6145b 5 </project>
The Other Jimmy 31:8ea194f6145b 6 <batchBuild></batchBuild>
The Other Jimmy 31:8ea194f6145b 7 </workspace>