Cleanup ui layout (#835)

This commit is contained in:
Michael Geers 2021-04-25 19:01:12 +02:00 • committed by GitHub
parent 5681d1996b
commit fb4dde7ce6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
27 changed files with 564 additions and 543 deletions

View file

@ -122,12 +122,6 @@
"target": {
"type": "integer"
},
"levels": {
"type": "array",
"items": {
"type": "integer"
}
},
"estimate": {
"type": "boolean"
}
@ -175,4 +169,4 @@
]
}
}
}
}