galaxyproject/tools-devteam — pull request #5 by nsoranzo (2014-10-09 17:05:23+00:00)
Title: Fixes for various tools

See individual commits for details.