Belatedly remove BIG_CITY and DEFENSE_INFRA.

diff --git a/info/Options.t b/info/Options.t
index ade9d21f7c0123f25d11259959da21da6fffc983..119ffcba3eb27ec2caf28d46f01f0a046fa36c4a 100644 (file)
--- a/info/Options.t
+++ b/info/Options.t
@@ -28,14 +28,11 @@ The following options were introduced in the Empire2 Server:
 
 HIDDEN:                Hides information about countries you haven't contacted
 LOSE_CONTACT:  In HIDDEN, lose contact after a few updates
-BIG_CITY:      'c' sectors cost $, lcm, hcm to build and hold 10x civs
 INTERDICT_ATT: Interdict units & mil as they move in after an attack
 
 The following options were introduced in the Empire4 Server:
 BRIDGETOWERS:   You can build bridge towers, which allow you to build
                  bridges from them.
-DEFENSE_INFRA:  Use the new defensive infrastructure.  Otherwise, use
-                 sector efficiency for defensive values.
 GODNEWS:        The world is told via news when deities are giving or taking
                  things from players.
 GUINEA_PIGS:   Experimental stuff not ready for prime time.  Enable at your