settings_gui.c
changeset 629 4bb1f0fb0109
parent 625 40c83b088bb8
child 631 5b3eb9bec105
--- a/settings_gui.c	Mon Dec 13 17:07:32 2004 +0000
+++ b/settings_gui.c	Mon Dec 13 17:47:21 2004 +0000
@@ -1005,7 +1005,7 @@
 
 	/* We did not found the patch setting */
 	if (!found) {
-		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
+		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
 		return;
 	}
 
@@ -1063,7 +1063,7 @@
 
 	/* We did not found the patch setting */
 	if (!found) {
-		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch settings", name);
+		IConsolePrintF(_iconsole_color_warning, "'%s' is an unkown patch setting", name);
 		return;
 	}