// placeholder file, is replaced by data/campaign.cfg in user home directory