From 85b7c4dafd3d8fdaf30b375769cdecb2a25abf7f Mon Sep 17 00:00:00 2001
From: Ian Young <ian@iay.org.uk>
Date: Fri, 29 Jul 2016 16:31:37 +0100
Subject: [PATCH] Make the default target something harmless.

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index b95edc05..983cd76e 100644
--- a/build.xml
+++ b/build.xml
@@ -9,7 +9,7 @@
     * "ant push" sends all files to the remote site, and requires
       the remote site password.
 -->
-<project default="process">
+<project default="echoproperties">
 
     <!--
         os.family