src/settings_gui.cpp
changeset 10117 6a796f06bff4
parent 9302 4aa3c4a44b16
child 10229 fba3f9fa44d7
--- a/src/settings_gui.cpp	Thu Apr 10 02:23:38 2008 +0000
+++ b/src/settings_gui.cpp	Thu Apr 10 08:30:15 2008 +0000
@@ -748,7 +748,6 @@
 
 static const char *_patches_stations[] = {
 	"join_stations",
-	"full_load_any",
 	"improved_load",
 	"selectgoods",
 	"new_nonstop",