History log of /sdk/device_validator/app/.settings/org.eclipse.jdt.ui.prefs
Revision Date Author Comments
10ca09dea02aa82b2b3d5b750178b724e3454129 18-May-2012 Michael Wright <michaelwr@google.com> Added new devices schema

Also updated devices.xml to validate against it.

Change-Id: Ia9b5212b8273e39f7f22022661e2c755c3a9d279