diff Makefile @ 16559:b7a80b5ef148

small fixes and additions
author diego
date Fri, 23 Sep 2005 07:29:09 +0000
parents 414ece37801b
children 6b1d1e4adaea
line wrap: on
line diff