diff Gui/interface.h @ 14893:faa87d404b0a

options in config file have been using '-' instead of '_' for ages
author rathann
date Thu, 03 Mar 2005 03:11:44 +0000
parents 21e72b6d8d11
children e2e231134056
line wrap: on
line diff