comparison Makefile @ 11949:86da102d74d8

slight wording improvement, noticed by Dominik
author diego
date Tue, 10 Feb 2004 20:52:08 +0000
parents 0d5cfe5358bc
children daac05a7e208
comparison
equal deleted inserted replaced
11948:fe2424e87a1e 11949:86da102d74d8