Skip to content

Improve and simplify a bit our range-diff UI#2193

Merged
Urgau merged 3 commits intorust-lang:masterfrom
Urgau:gh-range-diff-legend-title
Oct 5, 2025
Merged

Improve and simplify a bit our range-diff UI#2193
Urgau merged 3 commits intorust-lang:masterfrom
Urgau:gh-range-diff-legend-title

Commits