DB_HISTORY_SIZE    61 ddb/db_input.c #if DB_HISTORY_SIZE != 0
DB_HISTORY_SIZE    62 ddb/db_input.c char    db_history[DB_HISTORY_SIZE];	/* start of history buffer */
DB_HISTORY_SIZE    63 ddb/db_input.c int     db_history_size = DB_HISTORY_SIZE;/* size of history buffer */
DB_HISTORY_SIZE   120 ddb/db_input.c #if DB_HISTORY_SIZE != 0
DB_HISTORY_SIZE   207 ddb/db_input.c #if DB_HISTORY_SIZE != 0
DB_HISTORY_SIZE   263 ddb/db_input.c #if DB_HISTORY_SIZE != 0
DB_HISTORY_SIZE    34 ddb/db_var.h   #ifndef	DB_HISTORY_SIZE