Skip to content
This repository was archived by the owner on Dec 11, 2017. It is now read-only.
This repository was archived by the owner on Dec 11, 2017. It is now read-only.

Prune off registration of unused CodeMirror libraries, so we can get a feel for how many would actually need to be bundled. #4

Closed
Closed
Prune off registration of unused CodeMirror libraries, so we can get a feel for how many would actually need to be bundled.#4
Labels
enhancement
@georgestephanis

Description

@georgestephanis
georgestephanis
opened on Jun 29, 2017
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions