如何使用 $cmd$？
按住 $Windows+R$。
shenhuo2013的博客
博客
小知识
2025-07-20 10:31:18 By shenhuo2013
评论
123456___
infOJ上怎么全是垃圾博客，看来真的要死掉了
- 2025-08-04 07:35:57
shenhuo2013
yes
- 2025-08-06 08:15:04
发表评论
可以用@mike来提到mike这个用户，mike会被高亮显示。如果你真的想打“@”这个字符，请用“@@”。