From 441ebf94c1af0fd981e7c7fd16477e54a987e204 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Fri, 29 Apr 2011 10:33:33 +0200
Subject: [PATCH] Steven++: Rename explorer hardware_type to machine

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 conf/explorer/{hardware_type => machine} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename conf/explorer/{hardware_type => machine} (100%)

diff --git a/conf/explorer/hardware_type b/conf/explorer/machine
similarity index 100%
rename from conf/explorer/hardware_type
rename to conf/explorer/machine