diff options
| author | Miles Bader <miles@gnu.org> | 1996-02-02 01:12:00 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-02-02 01:12:00 +0000 |
| commit | 88c9a9b2ea6f5932168d6f7e6914367795ca4c20 (patch) | |
| tree | a4bf411b52e8e8e672d51d05dbdf18dd6eb784fe /boot | |
| parent | 48fa2d15260325182050a5d60f15dc7e3c1eb55a (diff) | |
(options, main): Add --pause option.
Diffstat (limited to 'boot')
0 files changed, 0 insertions, 0 deletions