really fix float rounding on 32-bit platforms
[sbcl.git] / doc / manual / clean.sh
2004-05-09 William Harold Newman0.8.10.16: