remove gcj libs from bin dist
authorsof@galois.com <unknown>
Fri, 18 Aug 2006 21:41:55 +0000 (21:41 +0000)
committersof@galois.com <unknown>
Fri, 18 Aug 2006 21:41:55 +0000 (21:41 +0000)
commitdd241f349c47ef26fa0dbe313e3dc1b5ccac9363
tree065868b2ad9b2bd006c6613323683c7f91d64a7f
parenta22ade7c478d033be67634dd4a86f7590766f023
remove gcj libs from bin dist
distrib/prep-bin-dist-mingw