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`. - - - - - - - - - - - - - - - - - - - - - - -