DOCS/man/input: remove duplicate paragraph

This is mentioned again below in Property list and it makes more sense
near the list of properties.
This commit is contained in:
Guido Cella 2024-10-30 16:16:53 +01:00 committed by Kacper Michajłow
parent 680e7022ee
commit 6085261146
1 changed files with 0 additions and 3 deletions

View File

@ -1936,9 +1936,6 @@ information. They can be manipulated with the ``set``/``add``/``cycle``
commands, and retrieved with ``show-text``, or anything else that uses property
expansion. (See `Property Expansion`_.)
The property name is annotated with RW to indicate whether the property is
generally writable.
If an option is referenced, the property will normally take/return exactly the
same values as the option. In these cases, properties are merely a way to change
an option at runtime.