Skip to content

Set b:did_indent in indent plugin#298

Open
dkearns wants to merge 1 commit intoJuliaEditorSupport:masterfrom
dkearns:set-did_indent-in-indent-plugin
Open

Set b:did_indent in indent plugin#298
dkearns wants to merge 1 commit intoJuliaEditorSupport:masterfrom
dkearns:set-did_indent-in-indent-plugin

Commits

Commits on Jun 18, 2022