diff m_option.h @ 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 b3be7df634b0
children 75327b24e06f
line wrap: on
line diff