diff configure @ 3625:84ff13d4540c

sse opt of mix32toS()
author michael
date Wed, 19 Dec 2001 19:35:08 +0000
parents 8d317f1aeafe
children f9f3a1d399fd
line wrap: on
line diff