info.servers doesn't seem to exist any more, remove

Signed-off-by: Tobias Ulmer <tu@emlix.com>

diff --git a/local/e2tool.lua b/local/e2tool.lua
index 259c08feee2ad3377fedf21b970a633050ed351d..a77ca3a6b0004c2c0e9ce3bfa012d10c57d081f3 100644 (file)
--- a/local/e2tool.lua
+++ b/local/e2tool.lua
@@ -65,7 +65,6 @@ local buildconfig = require("buildconfig")
 -- @field sources_sorted table: sorted list of sources
 -- @field results table: results
 -- @field results_sorted table: sorted list of results
--- @field servers table: servers
 -- @field licences table: licences keyed by licence names
 -- @field licences_sorted table: sorted list of licences
 -- @field chroot table: chroot
@@ -139,16 +138,6 @@ local buildconfig = require("buildconfig")
 -- @see policy.build_mode
 -- @see e2build.build_config
 
---- table of server records, keyed by server name
--- @name servers
--- @class table
--- @field name string: server name
--- @field path (deprecated)
--- @field url string: server url
--- @field cachable bool: cachable flag
--- @field cache bool: cache enable flag
--- @field directory string: dirname where the config and build-script reside
-
 --- table of chroot configuration
 -- @name chroot
 -- @class table