Skip to content

Update and fix options in data/micro.json and runtime/help/options.md#3985

Open
omarelladen wants to merge 5 commits into
micro-editor:masterfrom
omarelladen:master
Open

Update and fix options in data/micro.json and runtime/help/options.md#3985
omarelladen wants to merge 5 commits into
micro-editor:masterfrom
omarelladen:master

Merge branch 'master' into master

60bb8ce
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs