diff configure @ 5435:508a4e7df349

10l... int/1000 will be int while we want float, so let's do int*0.001
author arpi
date Sun, 31 Mar 2002 21:08:15 +0000
parents e7034890adc5
children 5c71c1f7fa1f
line wrap: on
line diff