diff Gui/Makefile @ 17678:0f75945c3c7b

Add some undocumented options.
author diego
date Fri, 24 Feb 2006 20:28:16 +0000
parents 257c8575c5ab
children c127ce678083
line wrap: on
line diff