comparison configure @ 22401:0fd3c34a3127

Fix incorrect spacing introduced in r22231: these two lines were supposed to perform truncation, not rounding.
author eugeni
date Sat, 03 Mar 2007 08:20:00 +0000
parents 4c93dd37fda9
children 0ceb7442ae2b
comparison
equal deleted inserted replaced
22400:4c93dd37fda9 22401:0fd3c34a3127