Fix some old `// <directive>` to `//@ <directive>`#2421

Merged

jieyouxu merged 1 commit intorust-lang:masterfrom

aDotInTheVoid:slashslashat

May 28, 2025

Commits on May 28, 2025

Fix some old `// <directive>` to `//@ <directive>`
aDotInTheVoid
committed