diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-08 01:07:32 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-08 01:07:32 +0000 |
| commit | 0a87a418418f027685f97418eab4b13bab9bc25b (patch) | |
| tree | 15061e1bdf56e2ad3895c718b02a1e9c001b0561 /benchmarks | |
| parent | 07b49dd252f76ea2e6f994ca2b34c7552e588ce2 (diff) | |
(hol_entry_help, hol_help, hol_usage, argp_args_usage, argp_doc, argp_help):
Use stdio streams and line_wrap_ functions instead of line_ functions.
(indent_to): New function.
(argp_usage_arg): Function removed.
<linewrap.h>: New include.
<line.h>: Include removed.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions