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