Michael Howell 8307fd7901 rustdoc: use a newline instead of <br> to format code headers ... Since these elements now use `white-space: pre-wrap` since 784665d4ce, it's fine to use newlines for formatting, which is smaller and a bit less complicated.		2023-02-07 11:23:25 -07:00
..
gats.rs
issue-94683.rs