works here on 0.7-pre-1 rev 3713 so try downloading the latest version if yours is <3713
On Tue, 2012-03-27 at 14:50 +0100, Morten Grøftehauge wrote: > set-refine-max-residues -- Oh, suddenly throwing a giraffe into a volcano to make water is crazy? Julian, King of Lemurs