+ "export": {
+ "title": "export",
+ "type": "object",
+ "required": [
+ "enabled",
+ "compressed"
+ ],
+ "additionalProperties": false,
+ "properties": {
+ "enabled": {
+ "description": "If true, an export file is created.",
+ "type": "boolean"
+ },
+ "compressed": {
+ "description": "If true, the export file is stored in a compressed format.",
+ "type": "boolean"
+ }
+ }
+ },
+ "generationTasks": {
+ "title": "generationTasks",