diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-11-13 02:20:42 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-13 02:20:42 +0000 |
| commit | 153fe10fe8a57ade4f3419a6582651e706a44661 (patch) | |
| tree | a7d7098de6bddad95b78322522894272c806fadc /Makefile | |
| parent | 46da9a1df83e95ee0b6624925c04f5082e31989d (diff) | |
(main): Just use the reboot function.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions