changeset 8627 | 448ebf3a8291 |
parent 8397 | 81b06437cfab |
--- a/src/settings.h Tue Dec 25 09:48:53 2007 +0000 +++ b/src/settings.h Tue Dec 25 11:26:07 2007 +0000 @@ -91,4 +91,9 @@ const SettingDesc *GetPatchFromName(const char *name, uint *i); bool SetPatchValue(uint index, const Patches *object, int32 value); +void LoadFromConfig(); +void SaveToConfig(); +void CheckConfig(); +void UpdatePatches(); + #endif /* SETTINGS_H */