diff Gui/Makefile @ 12402:b0f31de74374

Hint at -mf in mf:// syntax description.
author diego
date Mon, 03 May 2004 01:16:31 +0000
parents 6d6ba8e88e57
children 80973aa180a5
line wrap: on
line diff