Belatedly remove DEMANDUPDATE from info Options

Option gone since commit 6ca5e47f, v4.3.10.

diff --git a/info/Options.t b/info/Options.t
index 23d03ad604dd0a0ef5b67dcf2f7a9687e6155e88..c5b199dc830188074a4e890dd925e2c99e2dffa8 100644 (file)
--- a/info/Options.t
+++ b/info/Options.t
@@ -6,7 +6,6 @@ The following options are from KSU code:
 
 PINPOINT(etc): Missile exist which target ships instead of sectors
 SAIL:          another way to automatically move ships (may also be buggy)
-DEMANDUPDATE:  updates may be allowed on player demand
 
 The following options were introduced in the Chainsaw server: