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 /navi | |
| parent | a20a738f722b1e44aeb9e379e017f1f9fa1f0125 (diff) | |
Add --batch option and document all options on --help.
Diffstat (limited to 'navi')
0 files changed, 0 insertions, 0 deletions