diff Makefile @ 16657:f2e90fc97a39

random improvements plus some readability cosmetics
author diego
date Tue, 04 Oct 2005 16:04:28 +0000
parents 414ece37801b
children 6b1d1e4adaea
line wrap: on
line diff