Skip to content

Conversation

@kolibril13
Copy link
Member

maybe this fixes the docs

@kolibril13 kolibril13 changed the title Added space Added space in example that is not shown in docs Nov 6, 2020
@kolibril13 kolibril13 added the pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review! label Nov 6, 2020
@leotrs leotrs merged commit 54ea87c into master Nov 9, 2020
@leotrs leotrs deleted the kolibril13-patch-1 branch November 9, 2020 01:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr:easy review There is nothing particular (i.e, it's about a general/small thing) to know for review!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants