Skip to content

Change extra requirement on RTD to 'dev'.#6

Merged
greschd merged 1 commit intodevelopfrom
fix_docs
Oct 6, 2020
Merged

Change extra requirement on RTD to 'dev'.#6
greschd merged 1 commit intodevelopfrom
fix_docs

Conversation

@greschd
Copy link
Copy Markdown
Owner

@greschd greschd commented Oct 6, 2020

No description provided.

@greschd greschd merged commit 02d031a into develop Oct 6, 2020
@greschd greschd deleted the fix_docs branch October 6, 2020 07:47
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.

1 participant