Skip to content

Conversation

@kolibril13
Copy link
Member

Just some more examples for the example section of the docs

@kolibril13 kolibril13 marked this pull request as ready for review October 8, 2020 16:33
@kolibril13 kolibril13 added the documentation Improvements or additions to documentation label Oct 8, 2020
@leotrs
Copy link
Contributor

leotrs commented Oct 12, 2020

@kolibril13 you assigned Ben and me to this PR. I think you may have meant to ask us for a review. Note these two are different things. You can ask for a review at the top right (just above the "asignees" part).

Copy link
Contributor

@leotrs leotrs left a comment

Choose a reason for hiding this comment

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

Beautiful! Just left a few minor comments.

Copy link
Member

@behackl behackl left a comment

Choose a reason for hiding this comment

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

This looks really good to me! Please consider my suggestion regarding the filled arrow tips - and I am not sure whether the comment you added at some point regarding referencing something from the reference manual is still open; let me know if you intend to do something with that.

Copy link
Member

@behackl behackl left a comment

Choose a reason for hiding this comment

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

I thik this is good to go. Great additions!

@kolibril13 kolibril13 merged commit a32302e into master Oct 12, 2020
@kolibril13 kolibril13 deleted the more_examples branch October 12, 2020 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants