comparison Makefile @ 8950:8fd72eae8886

Small updates for correctness and consistency.
author diego
date Mon, 13 Jan 2003 23:45:14 +0000
parents f6cd8e4324e1
children c428933c7e54
comparison
equal deleted inserted replaced
8949:d07ab8e088a9 8950:8fd72eae8886