fixed missing device_name for xDot and removed progen#4225
Merged
theotherjimmy merged 1 commit intoARMmbed:masterfrom Apr 26, 2017
Merged
fixed missing device_name for xDot and removed progen#4225theotherjimmy merged 1 commit intoARMmbed:masterfrom
theotherjimmy merged 1 commit intoARMmbed:masterfrom
