2 Commits

Author	SHA1	Message	Date
Marco Pesenti Gritti	652df4bf51	Remove env.get_shell_dir(), use config	2008-02-04 23:29:08 +01:00
Marco Pesenti Gritti	dbe42ac6d9	Make the shell scripts just a tiny wrapper which setup ... the python path and run main().	2008-02-04 20:36:09 +01:00