diff help/help_mp-de.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 f3b19911aa95
children 4dd3605dc63a
line wrap: on
line diff