# HG changeset patch # User David Barts # Date 1579841219 28800 # Node ID 3129d0e240864649d896850b09019c36749fe356 # Parent dac8dfb4b5496b66dfdd4e1eda8962c197c3e75f Use ant tasks, not . diff -r dac8dfb4b549 -r 3129d0e24086 build.xml --- a/build.xml Thu Jan 23 19:25:17 2020 -0800 +++ b/build.xml Thu Jan 23 20:46:59 2020 -0800 @@ -1,5 +1,5 @@ - + @@ -19,7 +19,13 @@ - + + + + @@ -98,50 +104,38 @@ - - - - - - - - - - - - - - + + + + + + + - - + + - - + + - + - - - - - - + + - + - - - - - +