diff options
Diffstat (limited to 'udev/udev.xml')
-rw-r--r-- | udev/udev.xml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/udev/udev.xml b/udev/udev.xml index 41941c820f..ff01fefe58 100644 --- a/udev/udev.xml +++ b/udev/udev.xml @@ -420,12 +420,6 @@ <para>Rule and device options:</para> <variablelist> <varlistentry> - <term><option>ignore_device</option></term> - <listitem> - <para>Ignore this event completely.</para> - </listitem> - </varlistentry> - <varlistentry> <term><option>ignore_remove</option></term> <listitem> <para>Do not remove the device node when the device goes away. This may be |