Closed arthurp closed 5 years ago
These tools are no longer useful, so we should remove the references including:
Need to replace with a GitHub equivalent Ant task
This should wait until after completion of #200 to avoid duplication of effort.
Fixed in dcd01479d09de34ddbe5dc5d273a397770c44a7a
These tools are no longer useful, so we should remove the references including: