Skip to content

Copy in latest tool XSD file from Galaxy#605

Merged
jmchilton merged 1 commit intogalaxyproject:masterfrom
peterjc:update_xsd
Dec 9, 2016
Merged

Copy in latest tool XSD file from Galaxy#605
jmchilton merged 1 commit intogalaxyproject:masterfrom
peterjc:update_xsd

Conversation

@peterjc
Copy link
Contributor

@peterjc peterjc commented Dec 8, 2016

This will close #593 (deprecated attribute default_value) and perhaps other XSD linting problems.

This will close galaxyproject#593 (deprecated attribute default_value) and
perhaps other XSD linting problems.
@peterjc peterjc added the linting label Dec 8, 2016
@jmchilton jmchilton merged commit ac648f5 into galaxyproject:master Dec 9, 2016
@jmchilton
Copy link
Member

Awesome - thanks for the update @peterjc!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

planemo lint XSD check unaware of legacy parameter attribute default_value

2 participants