Michael Howell c910a49b05 rustdoc: remove small from small-section-header
There's no such thing as a big section header, so I don't know why the
name was used.
2023-11-29 13:40:07 -07:00
..
2023-11-23 14:54:19 -07:00
2023-10-13 21:01:36 +00:00
2023-10-13 21:01:36 +00:00
2023-10-16 18:01:02 -07:00
2023-10-04 13:04:45 -07:00
2023-10-16 18:01:02 -07:00
2023-11-20 11:50:25 -07:00
2023-03-27 18:58:07 +00:00
2023-09-20 03:02:14 +00:00