diff Makefile @ 14386:bb04d969d0df

small fixes
author diego
date Thu, 06 Jan 2005 10:19:29 +0000
parents 577c16f551ad
children 8260cd3c585c
line wrap: on
line diff