Skip to content

Fix doc linting#910

Merged
nsoranzo merged 1 commit intogalaxyproject:masterfrom
mvdbeek:fix_doc_linting
Jan 10, 2019
Merged

Fix doc linting#910
nsoranzo merged 1 commit intogalaxyproject:masterfrom
mvdbeek:fix_doc_linting

Conversation

@mvdbeek
Copy link
Member

@mvdbeek mvdbeek commented Jan 10, 2019

No description provided.

@peterjc
Copy link
Contributor

peterjc commented Jan 10, 2019

Looks good to me too (have just seen the problem via #909)

@nsoranzo nsoranzo merged commit f1b428a into galaxyproject:master Jan 10, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants