benfry 245130ad39 fix dist script to properly include the path

2008-08-18 19:53:18 +00:00

..

dist

fix dist script to properly include the path

2008-08-18 19:53:18 +00:00

dist.sh

adding ecj as compiler

2008-07-28 03:12:30 +00:00

make.sh

adding ecj as compiler

2008-07-28 03:12:30 +00:00

run.sh

something odd happened with run.sh

2007-06-24 17:54:14 +00:00