Rev 4408 | Details | Compare with Previous | Last modification | View Log | RSS feed
#ifndef BDD_ENTRY_H
#define BDD_ENTRY_H
/* Entry points for the bdd command */
extern int cmd_bdd(char **);
extern void help_cmd_bdd(unsigned int);
#endif /* BDD_ENTRY_H */