Skip to content

documentation for rnd#890

Open
mbbarbosa wants to merge 2 commits intomainfrom
doc_tactic_rnd
Open

documentation for rnd#890
mbbarbosa wants to merge 2 commits intomainfrom
doc_tactic_rnd

Conversation

@mbbarbosa
Copy link
Contributor

@mbbarbosa mbbarbosa commented Feb 6, 2026

Comments welcome.
Ready for review.

@strub strub changed the title documentation for rnd, first draft documentation for rnd Feb 6, 2026
@mbbarbosa mbbarbosa assigned bgregoir and unassigned strub and mbbarbosa Feb 6, 2026
@strub strub assigned mbbarbosa and unassigned bgregoir Feb 6, 2026
@strub strub requested a review from bgregoir February 6, 2026 15:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants