Skip to content
This repository has been archived by the owner on Mar 22, 2024. It is now read-only.

update documentation #40

Merged
merged 3 commits into from
May 19, 2021
Merged

update documentation #40

merged 3 commits into from
May 19, 2021

Conversation

manonreau
Copy link
Collaborator

No description provided.

@manonreau manonreau requested a review from NicoRenaud May 18, 2021 16:06
Copy link
Member

@NicoRenaud NicoRenaud left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me :)

@manonreau manonreau merged commit 858cd32 into master May 19, 2021
@manonreau manonreau deleted the doc branch May 20, 2021 13:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants