Michael Vetter de787a8582 Remove cons_mouse_setting() stub ... Mouse support has been disabled long ago.		2019-06-17 13:30:56 +02:00
..
stub_ui.c	Remove cons_mouse_setting() stub	2019-06-17 13:30:56 +02:00
stub_ui.h	Remove ui_current_print_formatted_line	2016-10-16 22:13:49 +01:00