Skip to content

fix(lean,#18423): Lean-12 -- separateurs hr --- vers *** + _quarto.yml regenere (garde #11451) - #20213

Merged
myia-ai-01 merged 3 commits into
mainfrom
fix/18423-lean12-hr-separators
Oct 10, 2026
Merged

fix(lean,#18423): Lean-12 -- separateurs hr --- vers *** + _quarto.yml regenere (garde #11451)#20213
myia-ai-01 merged 3 commits into
mainfrom
fix/18423-lean12-hr-separators

Merge origin/main into fix/18423-lean12-hr-separators

dd2457e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar