3 Commits

Author	SHA1	Message	Date
Steven Armstrong	d13a201cd0	/which/command -v/ ... Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>	2012-06-25 20:19:10 +02:00
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