# ------------------------------------------------------------------- # P L U G I N P R O P E R I E S # ------------------------------------------------------------------- # Shell plugin. # ------------------------------------------------------------------- # Generate Eclipse external tools mappings for the specified goals. # This accepts two values: 'all' for all the goals, # and 'plugins' to generate only the plugins' default goals. # maven.shell.zsh.dir= /usr/zsh/functions maven.shell.zsh.nodesc = true