chiark / gitweb /
Fix Linux script usage message - no longer need path to jars
[jarrg-ian.git] / .gitignore
2009-11-01 Ian Jacksonnew wrapper script actually works
2009-11-01 Ian JacksonSort of works ...