diff Gui/Makefile @ 11289:c3f049d801d8

_ ---> - in monitor_* options
author diego
date Mon, 27 Oct 2003 10:23:10 +0000
parents 6d6ba8e88e57
children 80973aa180a5
line wrap: on
line diff