diff options
Diffstat (limited to 'config.json')
| -rw-r--r-- | config.json | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.json b/config.json index 65ebfa1c7d..32cd726387 100644 --- a/config.json +++ b/config.json @@ -312,6 +312,12 @@ "values": [ true, false ], "defaultValue": false }, + "BuildManagedTools": { + "description": "", + "valueType": "property", + "values": [ true, false ], + "defaultValue": true + }, "SignType": { "description": "Sets the SignType.", "valueType": "property", |