Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Use paredit.js for indentation #973

New issue
New issue
Closed
#974
Closed
Use paredit.js for indentation#973
#974
Assignees
mfikes
@mfikes

Description

@mfikes
mfikes
opened on Jun 11, 2019

Lumo does this, and as a result you get 2-space indentation.

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