Nico Schottelius 6e73572a95 easier check for remote_prefix ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		2011-09-26 16:21:56 +02:00
..
__init__.py	move TYPE_PREFIX back into main, as it's only needed there and should work without module	2011-09-26 11:07:45 +02:00
banner.py	move out banner, fail at emulator	2011-09-26 11:05:18 +02:00
config.py	remove exec bits from copying	2011-09-26 11:55:59 +02:00
emulator.py	remove exec bits from copying	2011-09-26 11:55:59 +02:00
exec.py	easier check for remote_prefix	2011-09-26 16:21:56 +02:00
install.py	remove exec bits from copying	2011-09-26 11:55:59 +02:00
path.py	more cleanups from refactoring	2011-09-26 11:25:22 +02:00