Skip to content

增加插件设置面板 #155

New issue
New issue
Closed
coding/WebIDE-Frontend
#95
Closed
增加插件设置面板#155
coding/WebIDE-Frontend
#95
Assignees
blizzardzheng
@blizzardzheng

Description

@blizzardzheng
blizzardzheng
opened on Apr 5, 2017

增加插件设置面板
extensions

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions