Show array value type for `pluginchannels` and `pluginrepos`#3617

Merged

JoeKar merged 4 commits into

micro-editor:masterfrom

antoine2711:patch-1

May 19, 2026

Commits on Jan 19, 2025

Show array value type for pluginchannels and pluginrepos
antoine2711
authored

Commits on May 17, 2026

Merge branch 'micro-editor:master' into patch-1
antoine2711
authored
Add (empty list) to show that [] is an empty list which might not be obvious to some people
antoine2711
committed

Commits on May 18, 2026

Update default value description for indent-char
antoine2711
authored