Skip to content

Fix Sphinx RST directive#142

Merged
heitorPB merged 1 commit intomasterfrom
fix-sphinx-directive
Oct 1, 2025
Merged

Fix Sphinx RST directive#142
heitorPB merged 1 commit intomasterfrom
fix-sphinx-directive

Conversation

@heitorPB
Copy link
Member

@heitorPB heitorPB commented Oct 1, 2025

Latest build failed due to .. dica:: directive, that doesn't exist. Should be .. tip::.

Signed-off-by: Heitor Pascoal de Bittencourt <heitorpbittencourt@gmail.com>
@heitorPB heitorPB merged commit e8d1cf4 into master Oct 1, 2025
2 checks passed
@heitorPB heitorPB deleted the fix-sphinx-directive branch October 1, 2025 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants