diff options
| author | Raphael Moll <ralf@android.com> | 2011-02-23 22:31:01 -0800 |
|---|---|---|
| committer | Raphael Moll <ralf@android.com> | 2011-02-23 22:31:01 -0800 |
| commit | 87033a58d604af63b580262811b947ff4bd15785 (patch) | |
| tree | 32fffca5763254cdcbad11ad0ebb47e72a99cde1 /sdkmanager | |
| parent | 37febdb92972373e73fdfe5052f56f955acf3d35 (diff) | |
| download | sdk-87033a58d604af63b580262811b947ff4bd15785.zip sdk-87033a58d604af63b580262811b947ff4bd15785.tar.gz sdk-87033a58d604af63b580262811b947ff4bd15785.tar.bz2 | |
Add min-platform-tools-rev to the tools source.properties
We need that info to generate the repository.xml since it's
a mandatory attribute in the XSD.
Change-Id: Ic341687f07f8d91182d680cd1d3b35e431c38670
Diffstat (limited to 'sdkmanager')
0 files changed, 0 insertions, 0 deletions