log pytools/.project @ 3718:42e655a6a6f3

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.