diff options
-rw-r--r-- | deheader.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/deheader.xml b/deheader.xml index 98be963..7803457 100644 --- a/deheader.xml +++ b/deheader.xml @@ -124,7 +124,6 @@ Takes a Python regular expression.</para> <para>Exclude files with names matching the specified Python regexp.</para> </listitem> </varlistentry> -</variablelist> <varlistentry> <term>-V</term> <listitem> |