zhanziyang

如图所示: lean-cli版本:0.5.5 系统:windows 10 补充:这是一个刚创建的应用,还没有任何数据(是否跟这个有关?)

是@错人了吗?我这儿还是不行