• gbazin's avatar
    · 09b7f775
    gbazin authored
    * changed the behaviour of the config file:
      - now all the config options are saved. <string> config options which have
      no default value are also saved in the config file but as an empty string.
      - config_LoadConfigFile will ignore empty config options, which also means
      we cannot pass an empty string as a <string> config option. (this shouldn't
      matter anyway)