如图所示：
lean-cli版本：0.5.5
系统：windows 10
补充：这是一个刚创建的应用，还没有任何数据（是否跟这个有关？）
-
创建时间
17年1月11日
-
最后回复
17年1月11日
- 5
回复
- 147
浏览
- 4
用户
如图所示：
lean-cli版本：0.5.5
系统：windows 10
补充：这是一个刚创建的应用，还没有任何数据（是否跟这个有关？）
17年1月11日
17年1月11日
请 @jysperm 看下。
@asaka 重试一下是否可以成功？有可能是短时间的网络问题。
是@错人了吗？我这儿还是不行
已修复，麻烦重试一下。
确实可以了，谢谢！