src/settings_gui.cpp
changeset 7139 4ae3ab180d05
parent 7067 ea55b6046015
child 7170 bd34b6d0e4f1
--- a/src/settings_gui.cpp	Sat May 19 09:13:08 2007 +0000
+++ b/src/settings_gui.cpp	Sat May 19 09:40:18 2007 +0000
@@ -598,6 +598,7 @@
 	"scrollwheel_scrolling",
 	"scrollwheel_multiplier",
 	"pause_on_newgame",
+	"advanced_vehicle_list",
 };
 
 static const char *_patches_construction[] = {