config-schema: expand options for ui.editor
, ui.diff.tool
, and `u…
#8055
Job | Run time |
---|---|
6m 55s | |
4m 53s | |
7m 39s | |
19m 27s |
ui.editor
, ui.diff.tool
, and `u…
#8055
Job | Run time |
---|---|
6m 55s | |
4m 53s | |
7m 39s | |
19m 27s |