Skip to content

docs: improvements to developer setup intro#665

Merged
nhoening merged 3 commits intomainfrom
dev-intro-improvements
May 5, 2023
Merged

docs: improvements to developer setup intro#665
nhoening merged 3 commits intomainfrom
dev-intro-improvements

Conversation

@nhoening
Copy link
Contributor

@nhoening nhoening commented May 5, 2023

No description provided.

Signed-off-by: Nicolas Höning <nicolas@seita.nl>
@nhoening nhoening requested a review from victorgarcia98 May 5, 2023 13:05
@nhoening nhoening added documentation Improvements or additions to documentation development labels May 5, 2023
Copy link
Contributor

@victorgarcia98 victorgarcia98 left a comment

Choose a reason for hiding this comment

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

Thanks! Just minor things.

Signed-off-by: Nicolas Höning <nicolas@seita.nl>
@nhoening
Copy link
Contributor Author

nhoening commented May 5, 2023

Thanks for finding the problems!

@nhoening nhoening requested a review from victorgarcia98 May 5, 2023 15:32
Copy link
Contributor

@victorgarcia98 victorgarcia98 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! :D

@nhoening nhoening merged commit 6497a30 into main May 5, 2023
@nhoening nhoening deleted the dev-intro-improvements branch May 5, 2023 17:06
@Flix6x Flix6x added this to the 0.14.0 milestone Jun 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

development documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Comments