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