Nico Schottelius 278c379e07 use os.environ['__remote_exec'] in exec* ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>		2011-10-06 13:37:12 +02:00
..
__init__.py	increment version for next release	2011-09-27 17:20:43 +02:00
banner.py	move out banner, fail at emulator	2011-09-26 11:05:18 +02:00
config.py	setup __remote_exec and __remote_copy variables	2011-10-06 13:34:45 +02:00
emulator.py	only debug if __debug is setup	2011-09-27 16:40:50 +02:00
exec.py	use os.environ['__remote_exec'] in exec*	2011-10-06 13:37:12 +02:00
install.py	remove exec bits from copying	2011-09-26 11:55:59 +02:00
path.py	move emulator link to emulator module and make source variable (exec_path)	2011-09-27 13:38:25 +02:00