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 67b1094712 flatten error message in remotescripterror as well ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		14 years ago
..
core	report info when running initial manifest (it may take some time)	14 years ago
exec	flatten error message in remotescripterror as well	14 years ago
test	…
util	…
__init__.py	…
banner.py	…
config.py	…
config_install.py	log.info for global explorers (may also take some time)	14 years ago
context.py	…
emulator.py	…
install.py	…