From 8b7a7cbc813653a3248d6cf3a7779e220957bc85 Mon Sep 17 00:00:00 2001 From: Reinier Zwitserloot Date: Mon, 8 May 2017 21:28:02 +0200 Subject: The great rename: the old ‘website’ is now ‘website-old’, and ‘website2’ is now ‘website’. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- buildScripts/website.ant.xml | 44 ++++++++++++++++++++++---------------------- 1 file changed, 22 insertions(+), 22 deletions(-) (limited to 'buildScripts') diff --git a/buildScripts/website.ant.xml b/buildScripts/website.ant.xml index c1c780ae..697a5ad7 100644 --- a/buildScripts/website.ant.xml +++ b/buildScripts/website.ant.xml @@ -34,7 +34,7 @@ such as converting the changelog into HTML, and creating javadoc. - + @@ -63,23 +63,23 @@ such as converting the changelog into HTML, and creating javadoc. - + Your videos are newer than those on the website. They will be included too. - - - + + + - - - + + + @@ -94,9 +94,9 @@ such as converting the changelog into HTML, and creating javadoc. - - - + + + @@ -186,7 +186,7 @@ such as converting the changelog into HTML, and creating javadoc. - + @@ -207,10 +207,10 @@ such as converting the changelog into HTML, and creating javadoc. - + - + @@ -233,7 +233,7 @@ such as converting the changelog into HTML, and creating javadoc. - + @@ -276,7 +276,7 @@ such as converting the changelog into HTML, and creating javadoc. - + @@ -311,9 +311,9 @@ such as converting the changelog into HTML, and creating javadoc. - + - + @@ -322,10 +322,10 @@ such as converting the changelog into HTML, and creating javadoc. - - - - + + + + -- cgit