diff Makefile @ 13422:4971840361a5

credit for Loren Merritt, patch by himself
author diego
date Tue, 21 Sep 2004 16:59:53 +0000
parents ce046ef860da
children 0f92ad66bbb5
line wrap: on
line diff