Skip to content

move r[rules] to the left of the main body, using a grid#1710

Merged
ehuss merged 10 commits intorust-lang:masterfrom
WaffleLapkin:pretty-rule-refs
Jan 14, 2025

Commits

Commits on Jan 8, 2025

Commits on Jan 14, 2025