2 commits

Author	SHA1	Message	Date
Nico Schottelius	4450b2f573	continue to integrate new explorer idea ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-02-04 14:38:17 +01:00
Nico Schottelius	768c97ee48	add script to coordinate run of explorers on the target ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-02-04 09:57:50 +01:00