Edwin Kempin 2b753cc777 Check with HEAD request if docs are available and remove GerritConfig ... The Gerrit client needs to know if documentation is available on the server so that it can add the Documentation menu bar. The /config/server/info REST endpoint cannot easily provide this information since the ServletContext which can be used to check this is not available in the REST API layer. Instead let the Gerrit client do a HEAD request to "Documentation/index.html" to check if documentation is available on the server. GerritConfig is now no longer used and can be removed. Change-Id: I759c262a6789193d14bcfdf702f9907854230c01 Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>		2015-06-09 15:48:08 +02:00
..
src	Check with HEAD request if docs are available and remove GerritConfig	2015-06-09 15:48:08 +02:00
BUCK	Declare guava and junit as exported deps of Google Truth	2015-06-04 09:41:17 +09:00