mirror of
https://github.com/katanemo/plano.git
synced 2026-06-17 15:25:17 +02:00
fix schema file
This commit is contained in:
parent
6632428909
commit
b80fc2628f
1 changed files with 1 additions and 1 deletions
|
|
@ -149,7 +149,7 @@ properties:
|
|||
properties:
|
||||
random_sampling:
|
||||
type: integer
|
||||
trace_arch:
|
||||
trace_arch_internal:
|
||||
type: boolean
|
||||
additionalProperties: false
|
||||
mode:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue