/* _dict.cc 11/10/2000 11.33.52 */
/* grubconf.cc 31/01/2001 14.00.16 */
/* grubconffile.cc 31/01/2001 13.59.22 */
/* grubconffunc.cc 30/01/2001 19.38.32 */
void grubconf_edit (void);
void grubconf_options (GRUBCONFFILE&gcf);
void grubconf_default (GRUBCONFFILE&gcf);
void grubconf_fallbak (GRUBCONFFILE&gcf);
void grubconf_entries (GRUBCONFFILE&gcf);
void edit_menu_entry (GRUBCONFFILE&gcf, int number);
void grubconf_install (GRUBCONFFILE&gcf);