diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-13 23:30:34 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-13 23:30:34 +0000 |
| commit | eebb3aa0edecbdd5961160cce86d2e8478b0e44b (patch) | |
| tree | d423fa27b8a481a37b9fe6b315be09cc3e743b0f /doc | |
| parent | a6f6073707457a0a06aee51cd2663dde1ab61d51 (diff) | |
(argp_parse): If an option alias doesn't have a key, use the real key.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions