/* _dict.cc 10/07/1999 18.01.26 */
/* raidconf.cc 28/08/2000 18.14.18 */
PUBLIC MODULE_raidconf::MODULE_raidconf (void);
PUBLIC void MODULE_raidconf::setmenu (DIALOG&dia,
	 MENU_CONTEXT context);
PUBLIC int MODULE_raidconf::domenu (MENU_CONTEXT context,
	 const char *key);
PUBLIC int MODULE_raidconf::dohtml (const char *key);
PUBLIC void MODULE_raidconf::usage (SSTRINGS&tb);
PUBLIC int MODULE_raidconf::execmain (int argc, char *argv[], bool);