rustbook: update to use new mdbook-trpl package from The Book#133930
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 6, 2024
Merged
rustbook: update to use new mdbook-trpl package from The Book#133930bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom