log pytools/.pydevproject @ 3636:c7d4198a9bce

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.