From 9128775f354dde3fbb8875d06e47c9d091ee047a Mon Sep 17 00:00:00 2001 From: Michael Babker Date: Thu, 3 Mar 2016 10:14:56 -0500 Subject: [PATCH] Remove Phing scripts, they're broken anyway --- build.ini | 5 --- build.xml | 115 ------------------------------------------------------ 2 files changed, 120 deletions(-) delete mode 100644 build.ini delete mode 100644 build.xml diff --git a/build.ini b/build.ini deleted file mode 100644 index ad09a4a..0000000 --- a/build.ini +++ /dev/null @@ -1,5 +0,0 @@ -# The release version for the extension package. -version=3.4.1 - -# The name of the package. -package=weblinks diff --git a/build.xml b/build.xml deleted file mode 100644 index bca23d6..0000000 --- a/build.xml +++ /dev/null @@ -1,115 +0,0 @@ - - - - - - - - - - Use `$ phing -l` to list the available targets. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Replacing "__DEPLOY_VERSION__" with "${version}". - - - - - - - - - - - - - - - - - - Push tags manually with `$ git push --tags origin`. - - - - - - - - - - - - - - - - - - - - - - -