diff options
author | digitalfrost <gerald.hofmaier@gmail.com> | 2022-08-12 10:29:19 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-12 10:29:19 +0300 |
commit | 56f5d6b60df626c0d692e85a3ad95af8149540f4 (patch) | |
tree | 91078b20a7a4f1ea9274dfa887e33e8880e72bf6 /docs/profiles | |
parent | f9f7aae908b0235eda48db529cf27d1a9c06b9b9 (diff) |
Improve stylistic consistency
Always use "This is currently unused by Cura" so that the settings descriptions are more coherent.
Diffstat (limited to 'docs/profiles')
-rw-r--r-- | docs/profiles/setting_properties.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/profiles/setting_properties.md b/docs/profiles/setting_properties.md index 71cbe69155..1f5e004478 100644 --- a/docs/profiles/setting_properties.md +++ b/docs/profiles/setting_properties.md @@ -66,7 +66,7 @@ Each setting in Cura has a number of properties. It's not just a key and a value The values are human-readable strings and will be translated. Only applies to (and only required for) enum-type settings. * `comments` (optional string): Comments to other programmers about the setting. - *This is not used by Cura.* + *This is currently unused by Cura.* * `is_uuid` (optional boolean): Whether or not this setting indicates a UUID-4. If it is, the setting will indicate an error if it's not in the correct format. Only applies to string-type settings. |