Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] User guide #325 #353

Closed
wants to merge 6 commits into from
Closed

[WIP] User guide #325 #353

wants to merge 6 commits into from

Conversation

KohlerHECTOR
Copy link
Collaborator

@KohlerHECTOR KohlerHECTOR commented Jul 24, 2023

Description

Just A quick intro for the user guide #325

@KohlerHECTOR KohlerHECTOR changed the title [WIP] User guide [WIP] User guide #325 Jul 24, 2023
@KohlerHECTOR KohlerHECTOR linked an issue Jul 24, 2023 that may be closed by this pull request
@KohlerHECTOR
Copy link
Collaborator Author

New plan for the user guide in user_guide.md .
@TimotheeMathieu @omardrwch Should we have, on the website for the documentation, 4 different tabs for user guide, tutorials, external compatibility and contribution ?

@TimotheeMathieu
Copy link
Collaborator

TimotheeMathieu commented Jul 24, 2023

I think the tutorials could be merged with User Guide and we should keep the example gallery as a separate tab.

@JulienT01 JulienT01 mentioned this pull request Sep 19, 2023
@JulienT01
Copy link
Collaborator

Merged in a new PR here:
#364

@JulienT01 JulienT01 closed this Sep 19, 2023
@KohlerHECTOR KohlerHECTOR mentioned this pull request Apr 3, 2024
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.

User guide
3 participants