Add this plugin to the Package Control repository #2

Open

Open

Add this plugin to the Package Control repository#2

Assignees

People requested it here: laughedelic/sublime-idris#2.

https://packagecontrol.io

Metadata

Assignees

laughedelic

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests