errors in editor #155

Open

Labels

Milestone

Long term (Enhancement)

opened

on Oct 26, 2016

provide compilation errors in the code-mirror editor

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

Long term (Enhancement)No due date

Relationships

None yet

Development

No branches or pull requests