Skip to content

more consistent formatting of special terms#456

Merged
RalfJung merged 1 commit intorust-lang:masterfrom
RalfJung:term-format
Aug 31, 2023

Commits

Commits on Aug 31, 2023