diff Makefile @ 4182:e9d5b1b5827b

nicer awk check (logging) etc.
author atmos4
date Tue, 15 Jan 2002 22:30:56 +0000
parents 116abdd0aed1
children 3df2c500a2e9
line wrap: on
line diff