diff options
author | Jonas Smedegaard <dr@jones.dk> | 2002-04-08 23:17:26 +0000 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2002-04-08 23:17:26 +0000 |
commit | aa0439502aa136770198c8a12f5a549197c4ecec (patch) | |
tree | e3783bb275c721a1acb3f438d6f09b5b55ee1fbd /user | |
parent | a20a738f722b1e44aeb9e379e017f1f9fa1f0125 (diff) |
Add --batch option and document all options on --help.
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions