diff Makefile @ 2363:e87cbb7db151

some options previously forgot :(
author gabucino
date Mon, 22 Oct 2001 12:57:43 +0000 (2001-10-22)
parents 9e059416eea6
children 78209b784fec
line wrap: on
line diff