diff options
Diffstat (limited to 'gdb/mi/mi-console.c')
-rw-r--r-- | gdb/mi/mi-console.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gdb/mi/mi-console.c b/gdb/mi/mi-console.c index 1506e90631b..8df51ab2f91 100644 --- a/gdb/mi/mi-console.c +++ b/gdb/mi/mi-console.c @@ -112,7 +112,3 @@ mi_console_file_flush (struct ui_file *file) ui_file_put (mi_console->buffer, mi_console_raw_packet, mi_console); ui_file_rewind (mi_console->buffer); } - -/* Local variables: */ -/* change-log-default-name: "ChangeLog-mi" */ -/* End: */ |