diff options
| author | Michael Witten <mfwitten@gmail.com> | 2011-04-08 21:26:51 +0000 |
|---|---|---|
| committer | Michael Witten <mfwitten@gmail.com> | 2011-04-11 05:49:35 +0000 |
| commit | 2bf11540cff14a3acbf834505ad84c866336755e (patch) | |
| tree | edba973ab022587eadd8b3918b9f13d22e5da35e /udev/udev.xml | |
| parent | 55f5037ce819432e39f82f7634b35262104672f9 (diff) | |
Docs: udev.xml: Remove unnecessary repitition
Signed-off-by: Michael Witten <mfwitten@gmail.com>
Diffstat (limited to 'udev/udev.xml')
| -rw-r--r-- | udev/udev.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/udev/udev.xml b/udev/udev.xml index 8224311221..668ce551e2 100644 --- a/udev/udev.xml +++ b/udev/udev.xml @@ -128,8 +128,7 @@ <varlistentry> <term><option>:=</option></term> <listitem> - <para>Assign a value to a key finally; disallow any later changes, - which may be used to prevent changes by any later rules.</para> + <para>Assign a value to a key finally; disallow any later changes.</para> </listitem> </varlistentry> </variablelist> |