info/Options: Belatedly remove SAIL

Missed in commit dc73207.

Reported-by: Harald Katzer
Signed-off-by: Markus Armbruster <armbru@pond.sub.org>

diff --git a/info/Options.t b/info/Options.t
index 3efe41eae5e37498fabf98985929add0adee9670..333873f23f781a2dfe8fc74dcd34d394ff5af722 100644 (file)
--- a/info/Options.t
+++ b/info/Options.t
@@ -2,10 +2,6 @@
 .NA Options "Server options"
 .LV Expert
 .nf
-The following options are from KSU code:
-
-SAIL:          another way to automatically move ships (may also be buggy)
-
 The following options were introduced in the Chainsaw server:
 
 EASY_BRIDGES:  bridges can be built from any sector