changeset 930 | 524b02923ede |
parent 915 | 013cb2d74800 |
child 951 | 9c58dedb8e5f |
--- a/settings_gui.c Fri Jan 07 18:13:56 2005 +0000 +++ b/settings_gui.c Fri Jan 07 23:59:59 2005 +0000 @@ -685,6 +685,7 @@ {PE_INT32, PF_NOCOMMA, STR_CONFIG_PATCHES_STARTING_DATE, "starting_date", &_patches.starting_date, 1920,2100, 1, NULL}, {PE_BOOL, 0, STR_CONFIG_PATCHES_SMOOTH_ECONOMY, "smooth_economy", &_patches.smooth_economy, 0, 0, 0, NULL}, + {PE_BOOL, 0, STR_CONFIG_PATCHES_ALLOW_SHARES, "allow_shares", &_patches.allow_shares, 0, 0, 0, NULL}, }; static const PatchEntry _patches_ai[] = {