geoadmin/mf-geoadmin3 — pull request #682 by procrastinatio (2013-10-11 09:19:21+00:00)
Title: Change deploy's production target's name

Target's name cannot be one of the exisitng directory, i.e. 'prod', 'src',...