diff Makefile @ 13327:a614fe71ad74

small fixes
author diego
date Sun, 12 Sep 2004 16:42:26 +0000
parents ce046ef860da
children 0f92ad66bbb5
line wrap: on
line diff