* config/mh-mingw32: Delete.
commitb7badcfb9c7bee8f14c32ff0db98da5239483c50
authorJoern Rennecke <joern.rennecke@arc.com>
Wed, 30 Mar 2005 18:36:33 +0000 (30 18:36 +0000)
committerJoern Rennecke <joern.rennecke@arc.com>
Wed, 30 Mar 2005 18:36:33 +0000 (30 18:36 +0000)
tree3639d00337f4cc2398ef35d37174e3444ef85521
parentd8fcfcb3b1aec60e89360838ee30584ce3f20340
* config/mh-mingw32: Delete.
* configure.in: Don't use it.
* configure: Regenerate.
ChangeLog
config/mh-mingw32 [deleted file]
configure
configure.in