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

1 Commits

Author SHA1 Message Date
25ce0409aa 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
2026-04-30 11:05:20 +02:00