diff README @ 18500:9533f21d3f7e

Only set the default output filename when it was not passed on the command line. Noticed by Corey Hickey.
author diego
date Sun, 14 May 2006 10:21:56 +0000
parents 9a5a62f480e6
children db8821b163e5
line wrap: on
line diff