Doc: Update instructions for specifying settings for Android devices
Options have been moved to Tools > Options > Devices > Android.
Change-Id: Iaaa9fd8e718609997b34a9b115e116e8a240bf38
Reviewed-by:
Francois Ferrand <thetypz@gmail.com>
Showing
