pull in STABLE(!) tweaks
authorsof@galois.com <unknown>
Thu, 22 Jun 2006 20:27:34 +0000 (20:27 +0000)
committersof@galois.com <unknown>
Thu, 22 Jun 2006 20:27:34 +0000 (20:27 +0000)
commit0515203109e5f21363e6e1571efce808e6c61cbd
tree35d0bc3b8fbe366086fbb141c1ff729dc4efe211
parent4762f3d9939acc23683cd97cdbd4ab47edadc878
pull in STABLE(!) tweaks
distrib/prep-bin-dist-mingw