Michael Vetter 4b5711fad5 Add cons_show_bookmarks_ignore stub

2020-05-24 17:59:08 +02:00

..

stub_ui.c

Add cons_show_bookmarks_ignore stub

2020-05-24 17:59:08 +02:00

stub_ui.h

Remove ui_current_print_formatted_line

2016-10-16 22:13:49 +01:00