Tweak option descriptions.
commit5f24925794a4a25e6df7e2417ae7eb082fe25c11
authorGeoff Johnstone <qwerty@acm.org>
Fri, 31 Dec 2010 23:33:59 +0000 (31 23:33 +0000)
committerGeoff Johnstone <qwerty@acm.org>
Fri, 31 Dec 2010 23:33:59 +0000 (31 23:33 +0000)
tree39c56d43e0f303977b626fbb017cdcf62effe70b
parent5a03350b5fc2b009fa83d5ce5475de50d2a88916
Tweak option descriptions.
src/net/ametros/dive/Main.java