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

Update documentation #32

Merged
merged 1 commit into from
Apr 14, 2020
Merged

Update documentation #32

merged 1 commit into from
Apr 14, 2020

Conversation

arnaudlh
Copy link
Member

No description provided.

Copy link
Contributor

@LaurentLesle LaurentLesle left a comment

Choose a reason for hiding this comment

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

LGTM

@arnaudlh arnaudlh marked this pull request as ready for review April 14, 2020 01:11
@arnaudlh arnaudlh added this to the 2004 milestone Apr 14, 2020
@arnaudlh arnaudlh added the documentation Improvements or additions to documentation label Apr 14, 2020
@arnaudlh arnaudlh merged commit 305f4b9 into master Apr 14, 2020
@arnaudlh arnaudlh mentioned this pull request May 13, 2020
@arnaudlh arnaudlh deleted the doc branch May 18, 2020 01:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants