diff options
author | Miles Bader <miles@gnu.org> | 1996-10-24 21:41:00 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-10-24 21:41:00 +0000 |
commit | 50f972e6eb9649942582b84df77fcb527e15a077 (patch) | |
tree | 7f3e38951d012d2fbaed8d22602fcc8ac57f8476 /sh-version.sed | |
parent | d078fe645188b502661059835230d2bd9cbac388 (diff) |
(options):
Remove header for run-time supplied fields.
(main):
And add it back here as a child header.
Replace PARENTS with CHILDREN, which uses the new argp_child structure.
Diffstat (limited to 'sh-version.sed')
0 files changed, 0 insertions, 0 deletions