diff configure @ 34431:13df2e44dd58

Change a few more pts-related float to double.
author reimar
date Thu, 05 Jan 2012 15:50:17 +0000
parents cbee80faf0aa
children 18e2bab60851
line wrap: on
line diff