diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-24 12:40:34 +0200 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2010-04-24 12:40:34 +0200 |
| commit | 5453dd25e052670e4df6aa90beceaadd849ee6d2 (patch) | |
| tree | ff83e8aa43c8b760917540943fab74de430e5914 /devstats.sh | |
| parent | f63d132e7171fd8c0649a840da03530d9192300c (diff) | |
be more thorough when checking $grubdev
Diffstat (limited to 'devstats.sh')
0 files changed, 0 insertions, 0 deletions