src/settings_gui.cpp
changeset 10785 255f4045dedc
parent 10775 7061477bfbcf
child 10835 976b9d25c2be
--- a/src/settings_gui.cpp	Thu May 29 20:21:28 2008 +0000
+++ b/src/settings_gui.cpp	Thu May 29 21:35:49 2008 +0000
@@ -762,7 +762,6 @@
 				page->entries = MallocT<PatchEntry>(page->num);
 				for (i = 0; i != page->num; i++) {
 					uint index;
-					printf("%s\n", page->names[i]);
 					const SettingDesc *sd = GetPatchFromName(page->names[i], &index);
 					assert(sd != NULL);