diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-05 00:22:57 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-05 00:22:57 +0000 |
| commit | f46fce0e0265f2597a8f7331075ea7a4c2393ea4 (patch) | |
| tree | 0591af8bbee592bfdec0ca734d386378f7b8f1f3 /devio | |
| parent | bbd420a9da951ccb7df8d44239cae071aec77314 (diff) | |
(usage, options, main): Change -h/--no-header options to -p/--prefix and
-P/--no-prefix.
(main): Unless overridden by -p/-P, only print a FILE: prefix when there are
multiple files on the command line.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions