log pytools/.pydevproject @ 3693:60d31b1fada5

age author description
Wed, 09 Nov 2011 16:02:46 +0100 Doug Simon Improved gl.py script.
Mon, 31 Oct 2011 21:06:04 +0100 Doug Simon Added Python scripts in new 'shell' project. The shell/commands.py script should replace all the existing run*.sh scripts in the top level Graal directory and is where new commands should go.