diff -r 6c7f9d12197d -r 4f3082735fbc settings.h
--- a/settings.h	Sun May 01 20:16:52 2005 +0000
+++ b/settings.h	Mon May 02 15:52:19 2005 +0000
@@ -42,4 +42,7 @@
 	const void *b;
 } SettingDesc;
 
+void IConsoleSetPatchSetting(const char *name, const char *value);
+void IConsoleGetPatchSetting(const char *name);
+
 #endif /* SETTINGS_H */