diff m_option.h @ 17314:1bdc7230ea29

Bandaid fix for compilation failure when creating main/.depend with GUI enabled. This is only a problem if .developer is not present.
author diego
date Wed, 04 Jan 2006 15:54:47 +0000
parents feb16d0117c8
children b8ce59172e6a
line wrap: on
line diff