diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 14:39:17 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-12 14:39:17 +0100 |
| commit | 7bdce4242daa6eebe8d8a6d2f5856e11dfcc528e (patch) | |
| tree | 74db02bb24a44441573c8db189cdddd64be123ab /src/core/libs/lib-ui-interactive.sh | |
| parent | f3c9ce58c5f227326a9cd176e8b4aed771814278 (diff) | |
grub entries fixed. we are in alpha phase now :)
Diffstat (limited to 'src/core/libs/lib-ui-interactive.sh')
0 files changed, 0 insertions, 0 deletions