diff Makefile @ 4655:364cf7cc77be

Unroll -ni usage for deint. Anyway it doesn't help :(
author nick
date Mon, 11 Feb 2002 07:30:05 +0000
parents b1fe5f58cd82
children 04880518728d
line wrap: on
line diff