diff options
| author | Andrew Cagney <cagney@redhat.com> | 2000-05-16 05:07:53 +0000 |
|---|---|---|
| committer | Andrew Cagney <cagney@redhat.com> | 2000-05-16 05:07:53 +0000 |
| commit | 10adc9b50ea36dd9f2b19bc8260caf40d789c26b (patch) | |
| tree | 78b94b5c726658c9397ea8a19504bdb1e8cdbf4f /gdb/mi/mi-getopt.c | |
| parent | e2f9c4749114f7ddcd18e62e5559d0fa14bf0935 (diff) | |
| download | gdb-10adc9b50ea36dd9f2b19bc8260caf40d789c26b.zip gdb-10adc9b50ea36dd9f2b19bc8260caf40d789c26b.tar.gz gdb-10adc9b50ea36dd9f2b19bc8260caf40d789c26b.tar.bz2 | |
Rename mi/ChangeLog-mi -> mi/ChangeLog
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 2c5e853..7436c5f 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: */ |