Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: c4c8af036fda560d5340e77d9f38782754729eb1 https://github.com/galaxyproject/galaxy/commit/c4c8af036fda560d5340e77d9f387... Author: M Bernt <m.bernt@ufz.de> Date: 2018-11-27 (Tue, 27 Nov 2018) Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd Log Message: ----------- doc: updated error parsing docs see https://github.com/galaxyproject/galaxy/pull/697://github.com/galaxyproject/... Commit: 1ca77d53ef2bc1067db5c3a3b5d1c36b28aeaa1b https://github.com/galaxyproject/galaxy/commit/1ca77d53ef2bc1067db5c3a3b5d1c... Author: Martin Cech <marten@bx.psu.edu> Date: 2018-12-07 (Fri, 07 Dec 2018) Changed paths: M lib/galaxy/tools/xsd/galaxy.xsd Log Message: ----------- Merge pull request #7049 from bernt-matthias/topic/doc-errors-detection doc: updated error parsing docs Compare: https://github.com/galaxyproject/galaxy/compare/f09d7b7d9346...1ca77d53ef2b **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.