Learn more about cloning repositories
You have read-only access
Remove now superfluous tool, replaced by devtool. Change-Id: I987722065d65704e9df4864df3232911c9d9747a Reviewed-by: Kai Koehne <kai.koehne@digia.com> Reviewed-by: Niels Weber <niels.weber@digia.com>