diff Makefile @ 2650:bf7248edcc20

fixed commandline bug: handling '-' as option when '--' unused
author alex
date Sat, 03 Nov 2001 19:04:58 +0000
parents 0e6e13261d79
children 4e321443413f
line wrap: on
line diff