dev-platform-20181210.3: Merge pull request #481 from Coding/plugin-config-bug-fix

fix show_env and open_welcome in new workspace

dev-platform-20181210.2: Merge pull request #480 from Coding/remove-beta

去掉 beta 字样

dev-platform-20181207.1

欢迎页面概念视频的z-index设为600

dev-platform-20181205.2-hotfix

修复工作空间卡片打开仓库链接失效

dev-platform-20181205.1: Merge pull request #472 from Coding/persist-before-plugin-willmount

update initialize order

dev-platform-20181204.1: Merge pull request #468 from Coding/git-push

git push 弹窗增加全选按钮

dev-platform-20181130.2

intro 广告图片拉伸问题

dev-platform-20181130.1

Merge branch 'dashboard' of github.com:Coding/WebIDE-Frontend into da…

dev-platform-20181128.1

修改注册地址

dev-platform-20181122.2

修复工作空间更新于多少天以前的算法