diff options
Diffstat (limited to 'gdb/mi/mi-getopt.c')
| -rw-r--r-- | gdb/mi/mi-getopt.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gdb/mi/mi-getopt.c b/gdb/mi/mi-getopt.c index 2c5e853d181..7436c5fa81b 100644 --- a/gdb/mi/mi-getopt.c +++ b/gdb/mi/mi-getopt.c @@ -73,8 +73,3 @@ mi_getopt (const char *prefix, } error ("%s: Unknown option ``%s''", prefix, arg + 1); } - - -/* Local variables: */ -/* change-log-default-name: "ChangeLog-mi" */ -/* End: */ |