src/settings.h
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 */