diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-10 18:28:27 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-10 18:28:27 +0100 |
| commit | 1e4fbe97da9a2e1e9b14c0a1f88f85af59387bf0 (patch) | |
| tree | fd59b7d2e4d94c5009144bc771034758eb9f0d26 /src/core/procedures | |
| parent | fc3809dec26d21eb18a568b9ec018ed0f042f901 (diff) | |
cleanup + hopefully a fix for grub thingie
Diffstat (limited to 'src/core/procedures')
0 files changed, 0 insertions, 0 deletions