diff Gui/Makefile @ 11287:5fde9e4e1d17

_ --> - in option names
author wight
date Mon, 27 Oct 2003 07:14:32 +0000
parents 6d6ba8e88e57
children 80973aa180a5
line wrap: on
line diff