diff Makefile @ 11816:637af9175b65

Small wording and consistency improvements, named parameters documented.
author diego
date Tue, 20 Jan 2004 19:28:35 +0000
parents 0d5cfe5358bc
children daac05a7e208
line wrap: on
line diff