Skip to content

Conversation

@clue
Copy link
Owner

@clue clue commented Mar 8, 2022

No biggie.

Refs #53

@clue clue added easy pick Good for newcomers documentation Improvements or additions to documentation labels Mar 8, 2022
@clue clue requested a review from SimonFrings March 8, 2022 22:56
@SimonFrings SimonFrings merged commit b932173 into clue:main Mar 9, 2022
@clue clue deleted the docs branch March 9, 2022 07:54
@SimonFrings SimonFrings added this to the v0.9.0 milestone Mar 5, 2024
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 easy pick Good for newcomers

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants