diff options
author | Ghostkeeper <rubend@tutanota.com> | 2016-09-08 14:06:03 +0300 |
---|---|---|
committer | Ghostkeeper <rubend@tutanota.com> | 2016-09-08 14:06:03 +0300 |
commit | 557e52e514ccfeba086f88e6c8fbe99eb21ccc91 (patch) | |
tree | 5e824a0e979b3d4a065265c4eb4250f0e526ade7 /resources/definitions/maker_starter.def.json | |
parent | 8b2e652011b1a62e9222d3cb8afa2dffb87cfebd (diff) |
Update outdated setting name
This setting name was changed, but apparently not everywhere.
Diffstat (limited to 'resources/definitions/maker_starter.def.json')
-rw-r--r-- | resources/definitions/maker_starter.def.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/definitions/maker_starter.def.json b/resources/definitions/maker_starter.def.json index 4d3f6e06b7..2718a10f10 100644 --- a/resources/definitions/maker_starter.def.json +++ b/resources/definitions/maker_starter.def.json @@ -145,7 +145,7 @@ "adhesion_type": { "default_value": "Raft" }, - "skirt_minimal_length": { + "skirt_brim_minimal_length": { "default_value": 100 }, "raft_base_line_spacing": { |