Steven++: Rename explorer hardware_type to machine

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
Nico Schottelius 2011-04-29 10:33:33 +02:00
parent 0b57d84d66
commit 441ebf94c1