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 /pflocal/sock.h | |
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 'pflocal/sock.h')
0 files changed, 0 insertions, 0 deletions