Skip to content

Add config JSON schema#2697

Merged
zyedidia merged 2 commits intomicro-editor:masterfrom
EmilyGraceSeville7cf:feature/add-config-json-schema
May 17, 2023
Merged

Add config JSON schema#2697
zyedidia merged 2 commits intomicro-editor:masterfrom
EmilyGraceSeville7cf:feature/add-config-json-schema

Commits

Commits on Jan 25, 2023

Commits on May 16, 2023