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);