-
Christian Kandeler authored
The device manager does not like it when you remove non-existing devices. Change-Id: Ied1b28963a0513761c9cf247c414e0ea29dc8086 Reviewed-by: Friedemann Kleint <Friedemann.Kleint@digia.com> Reviewed-by: Daniel Teske <daniel.teske@digia.com>
403f41ef