diff input/Makefile @ 17415:bd631985f13b

Improve option descriptions.
author diego
date Tue, 17 Jan 2006 00:36:00 +0000
parents 80973aa180a5
children ce1ba8fd57e7
line wrap: on
line diff