diff options
Diffstat (limited to 'plugins/phing')
| -rw-r--r-- | plugins/phing/phing.plugin.zsh | 1 | 
1 files changed, 0 insertions, 1 deletions
| diff --git a/plugins/phing/phing.plugin.zsh b/plugins/phing/phing.plugin.zsh index 80e334629..8f4adca08 100644 --- a/plugins/phing/phing.plugin.zsh +++ b/plugins/phing/phing.plugin.zsh @@ -10,7 +10,6 @@ _phing_does_target_list_need_generating () {  _phing () {    if [ -f build.xml ]; then      if _phing_does_target_list_need_generating; then -      echo "\nGenerating .phing_targets..." > /dev/stderr        phing -l |grep -v ":" |grep -v "^$"|grep -v "\-" > .phing_targets      fi      compadd `cat .phing_targets` | 
