forked from mirrors/jj
config: add merge-tools.<name>.edit-args to schema
This commit is contained in:
parent
605a39b84f
commit
2d17385d2e
1 changed files with 6 additions and 0 deletions
|
@ -228,6 +228,12 @@
|
||||||
"program": {
|
"program": {
|
||||||
"type": "string"
|
"type": "string"
|
||||||
},
|
},
|
||||||
|
"edit-args": {
|
||||||
|
"type": "array",
|
||||||
|
"items": {
|
||||||
|
"type": "string"
|
||||||
|
}
|
||||||
|
},
|
||||||
"merge-args": {
|
"merge-args": {
|
||||||
"type": "array",
|
"type": "array",
|
||||||
"items": {
|
"items": {
|
||||||
|
|
Loading…
Reference in a new issue