benfry 689ef80157 fixes for building, handling tools.jar

2008-03-12 17:06:49 +00:00

..

launcher

build finally working properly on windows

2007-07-23 13:12:35 +00:00

dist.sh

finalizing 0126 dist

2007-10-10 02:34:00 +00:00

make.sh

fixes for building, handling tools.jar

2008-03-12 17:06:49 +00:00

run.sh

last of the changes for the new debug setup

2008-03-12 06:17:48 +00:00

srun.sh

windows tweaks for 67

2003-10-28 03:26:28 +00:00