correctly name file
authorMichael Meissner <gnu@the-meissners.org>
Fri, 22 Dec 1995 16:42:06 +0000 (16:42 +0000)
committerMichael Meissner <gnu@the-meissners.org>
Fri, 22 Dec 1995 16:42:06 +0000 (16:42 +0000)
commit63ed8181e6c0bf56f0e32145cbc216452f320cf7
tree9712c5bb6b21d7dc6a2a415f8aec2ff7f78fd621
parent3222ff2e5288956792679e477c20c911dfe6b8aa
correctly name file
gdb/config/i386/i386dgux.h [deleted file]
gdb/config/i386/i386dgux.mh [new file with mode: 0644]