chore(glossaire): désaturer les defaults de navigation #349

Merged
Archicratia merged 1 commits from chore/desaturer-defaults-glossaire into main 2026-04-30 09:07:34 +00:00
Owner
No description provided.
Archicratia added 1 commit 2026-04-30 09:06:38 +00:00
chore(glossaire): désaturer les defaults de navigation
All checks were successful
SMOKE / smoke (push) Successful in 7s
CI / build-and-anchors (push) Successful in 38s
CI / build-and-anchors (pull_request) Successful in 34s
25ce0409aa
Archicratia merged commit 0015b384ce into main 2026-04-30 09:07:34 +00:00
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Archicratia/archicratie-edition#349