Skip to content

Cleanup: delete //@ pretty-expanded directive#133470

Merged
bors merged 2 commits intorust-lang:masterfrom
jieyouxu:ugly
Nov 26, 2024
Merged

Cleanup: delete `//@ pretty-expanded` directive#133470
bors merged 2 commits intorust-lang:masterfrom
jieyouxu:ugly

Commits

Commits on Nov 25, 2024