Minor usage() tweak.
commit29a5238b92ce304e6c5201fd0196b6d602067495
authorGeoff Johnstone <qwerty@acm.org>
Fri, 31 Dec 2010 23:42:55 +0000 (31 23:42 +0000)
committerGeoff Johnstone <qwerty@acm.org>
Fri, 31 Dec 2010 23:42:55 +0000 (31 23:42 +0000)
treed05f079dbda8cee2e01b76434f53de686b11d1dc
parent5f24925794a4a25e6df7e2417ae7eb082fe25c11
Minor usage() tweak.
src/net/ametros/dive/Main.java