From 94d0036d4cdbd808a51d9601c4faf1d7b714fce3 Mon Sep 17 00:00:00 2001 From: Tobias Ulmer Date: Wed, 11 Dec 2013 17:22:12 +0100 Subject: [PATCH] info.servers doesn't seem to exist any more, remove Signed-off-by: Tobias Ulmer --- local/e2tool.lua | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/local/e2tool.lua b/local/e2tool.lua index 259c08f..a77ca3a 100644 --- 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 -- 2.39.5