Skip to content

chore: updated guides#36

Merged
fedepini merged 1 commit intomainfrom
chore/updated-guides
Jan 8, 2026
Merged

chore: updated guides#36
fedepini merged 1 commit intomainfrom
chore/updated-guides

Conversation

@fedepini
Copy link
Contributor

@fedepini fedepini commented Jan 8, 2026

This PR has the goal of updating two documentation guides on filters and layout.

@fedepini fedepini self-assigned this Jan 8, 2026
@fedepini fedepini merged commit 9238f66 into main Jan 8, 2026
2 checks passed
@fedepini fedepini deleted the chore/updated-guides branch January 9, 2026 11:31
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.

1 participant