diff help_mp-pl.h @ 4890:0c1526391dd3

New option use-stdin to use when stdin will be used as a file Auto enable use-stdin when - is in the command line
author albeu
date Thu, 28 Feb 2002 13:47:06 +0000
parents 501473faf365
children c484e7403849
line wrap: on
line diff