diff options
| author | Miles Bader <miles@gnu.org> | 1996-07-10 16:17:15 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-07-10 16:17:15 +0000 |
| commit | fd2bf194fdb8839fcfe82cdda30b5831a8841229 (patch) | |
| tree | 011227946873c4cfe0264ed4a1a3ac64a0c37ac7 /hurd/interrupt.defs | |
| parent | cd322b3925865b5b0825a627ee7f0de40d4c2c87 (diff) | |
(argp_help): "OPTIONS..." -> "OPTION...".
Diffstat (limited to 'hurd/interrupt.defs')
0 files changed, 0 insertions, 0 deletions