diff Makefile @ 16458:c35ed5cdf07e

Respect -nodouble even though it looks very bad.
author reimar
date Sun, 11 Sep 2005 17:45:12 +0000
parents 414ece37801b
children 6b1d1e4adaea
line wrap: on
line diff