diff configure @ 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 e926b7dd1993
children 0ccd7731c17b
line wrap: on
line diff