diff configure @ 2576:437ed06579d8

c optimizations bugfix
author michael
date Tue, 30 Oct 2001 22:24:38 +0000
parents 125af7039fcb
children 1486c690bece
line wrap: on
line diff