You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nico Schottelius 32b2c49d32 found 2 bugs in transfer_code_remote ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		14 years ago
..
__init__.py	…
code.py	found 2 bugs in transfer_code_remote	14 years ago
explorer.py	use instance logger in explorer	14 years ago
manifest.py	add correct logger in manifest	14 years ago
object.py	…
type.py	Explorer tracks which type explorers have been transferred instad of Type	14 years ago