From efa28a5c8d00cd623c51db73dc675224312f3e4d Mon Sep 17 00:00:00 2001 From: jzaefferer Date: Fri, 19 Nov 2010 17:01:00 +0100 Subject: [PATCH] Build: Revert mistaken change in last commit, putting back the docs-download target. --- build/build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build.xml b/build/build.xml index a132502bf..568cc9c92 100644 --- a/build/build.xml +++ b/build/build.xml @@ -42,7 +42,7 @@ - +