We no longer need these scripts as everything is done on one machine.
Mistake in the last commit. Now correct.
Downloads now have a new location on the server.
Includes the reporting gizmos in the build stuff, and javadoc.
Various shell scripts used around the project.
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.