Nico Schottelius c687dbdc70 remove remote_cat, as it's only used in exec module ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		2011-09-26 16:22:09 +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	remove remote_cat, as it's only used in exec module	2011-09-26 16:22:09 +02:00