diff options
author | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:56:48 +0200 |
---|---|---|
committer | Ciro Mattia Gonano <ciromattia@gmail.com> | 2013-09-11 15:57:07 +0200 |
commit | 3069eaf35e833ffe4a1c1c7829dd7e168ae27420 (patch) | |
tree | d0c2e4d934cc34ba7d4232f759923b5a257dcb21 /phing.bat | |
parent | b833247ce597ec26159b46c8dfbea7f1e265950b (diff) |
Merge up to r3319
Diffstat (limited to 'phing.bat')
-rw-r--r-- | phing.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/phing.bat b/phing.bat deleted file mode 100644 index d677565e..00000000 --- a/phing.bat +++ /dev/null @@ -1 +0,0 @@ -buildscripts/phing/bin/phing %*
\ No newline at end of file |