diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-22 00:49:26 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-22 00:49:26 +0000 |
| commit | 1b71d030931b7a03baf0f2814bd4c3f67bd20748 (patch) | |
| tree | 4d037a72ee376374ec015be8d54d7228de506f3c /config.make.in | |
| parent | 63026777f568f7b8bb141710485ce9c56ee31dc5 (diff) | |
(main): Delete most everything and use store arg parsing.
(options, doc, args_doc): Variables removed.
Diffstat (limited to 'config.make.in')
0 files changed, 0 insertions, 0 deletions