2 Commits

Author	SHA1	Message	Date
Steven Armstrong	2856684e51	ignore errors in global explorers ... Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>	2012-06-22 09:30:47 +02:00
Nico Schottelius	441ebf94c1	Steven++: Rename explorer hardware_type to machine ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-04-29 10:33:33 +02:00