diff options
author | Miles Bader <miles@gnu.org> | 1996-05-23 00:26:28 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-05-23 00:26:28 +0000 |
commit | 8c7a3d0561cf1a2ad9502295bd5ea26df85fa717 (patch) | |
tree | aff0246f6999506d953f349d39ad51405992bc75 /pfinet/config.h | |
parent | 5d917e932baf26ad32a0b96b86ca9cd0d3561a04 (diff) |
(hol_usage):
Prefix each option desc with a space.
Do manual wrapping of descs with an embedded space.
Don't set wrap margin (done elsewhere now).
(argp_args_usage): Do manual line wrapping because of embedded spaces.
(argp_help): Set wrap & left margins when printing usage.
Diffstat (limited to 'pfinet/config.h')
0 files changed, 0 insertions, 0 deletions