diff Gui/interface.c @ 18530:585837bbe7c3

Accept --missing as well as -missing, print less newlines.
author diego
date Wed, 17 May 2006 12:10:17 +0000
parents d30afd14867f
children 6b92a27e247c
line wrap: on
line diff