diff Makefile @ 11939:11aeae4ca8ed

small additions, cosmetics
author diego
date Tue, 10 Feb 2004 01:59:17 +0000
parents 0d5cfe5358bc
children daac05a7e208
line wrap: on
line diff