henryx
commented
1 year ago Thank you for the PR. Branch is correct (we follow the feature-branch workflow, so development branch doesn't exist), so, I will merge it
Closed Peytob closed 1 year ago
henryx
commented
1 year ago Thank you for the PR. Branch is correct (we follow the feature-branch workflow, so development branch doesn't exist), so, I will merge it
Fixed a small typo in the documentation that broke the syntax highlighting in Idea. I don’t know which branch to do the PR, because I don’t see the develop branch.