chiark / gitweb /
Fix Linux script usage message - no longer need path to jars