diff makefile @ 559:33f12fe91048

Bin tools are now from /usr/local/bin
author boisy
date Thu, 31 Oct 2002 15:22:39 +0000
parents 034a1fc62a93
children f86ef3d1d7c9
line wrap: on
line diff