Robert Millan 822873a7da Eliminate grub_term_register_{input,output}_active. Default terminals are ... automatically activated because they're the only terminal that has been loaded. This solution is temporary. In the future, all terminals should auto-enable, but this is non-trivial due to resource conflict, and it shouldn't prevent merge in trunk.		2010-01-09 23:42:17 +01:00
..
console.c	Eliminate grub_term_register_{input,output}_active. Default terminals are	2010-01-09 23:42:17 +01:00