Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: ac44dbb533284bb47e4190b16821311984129d8a https://github.com/galaxyproject/galaxy/commit/ac44dbb533284bb47e4190b168213... Author: Dave B dave@bx.psu.edu Date: 2017-07-07 (Fri, 07 Jul 2017)
Changed paths: M config/tool_conf.xml.main
Log Message: ----------- Update tool_conf.xml.main to reflect main's current state.
Commit: c169c3a0908addeff88bae6a86f2e5ef199aeb3c https://github.com/galaxyproject/galaxy/commit/c169c3a0908addeff88bae6a86f2e... Author: Nicola Soranzo nsoranzo@tiscali.it Date: 2017-07-07 (Fri, 07 Jul 2017)
Changed paths: M config/tool_conf.xml.main
Log Message: ----------- Merge pull request #4295 from davebx/update_main_tool_conf
Update tool_conf.xml.main to reflect main's current state.
Compare: https://github.com/galaxyproject/galaxy/compare/ba5549b47193...c169c3a0908a
galaxy-commits@lists.galaxyproject.org