diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 15:47:17 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 15:47:17 +0100 |
| commit | a75015944ef7a878254e40964cd7c1c540b9655f (patch) | |
| tree | 9c6609fd56004ab074eaf9c5b7bd23b6389fbc5b /HOWTO | |
| parent | a7770bc688e5dca68ffaeeb9d13b3a7ba04c2730 (diff) | |
use ended_ok in check_depend + cleaner checking if grub already done successfully
Diffstat (limited to 'HOWTO')
0 files changed, 0 insertions, 0 deletions