Skip to content

Issue 147: add documentation versioning#148

Merged
jkotan merged 2 commits intodevelopfrom
issue_147
Dec 3, 2021
Merged

Issue 147: add documentation versioning#148
jkotan merged 2 commits intodevelopfrom
issue_147

Conversation

@jkotan
Copy link
Copy Markdown
Collaborator

@jkotan jkotan commented Dec 3, 2021

It resolves #147 by adding documentation versioning and automatic deploying of the documentation

@jkotan jkotan merged commit 7a813b9 into develop Dec 3, 2021
@jkotan jkotan mentioned this pull request May 9, 2022
@jkotan jkotan deleted the issue_147 branch January 11, 2023 15:26
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.

add documentation versioning

1 participant