diff options
Diffstat (limited to 'doc/manual/common-options.xml')
| -rw-r--r-- | doc/manual/common-options.xml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/manual/common-options.xml b/doc/manual/common-options.xml deleted file mode 100644 index d04042993fa0..000000000000 --- a/doc/manual/common-options.xml +++ /dev/null @@ -1,13 +0,0 @@ -<sect1> - <title>Common options</title> - - <para> - </para> - -</sect1> - -<!-- -local variables: -sgml-parent-document: ("book.xml" "sect1") -end: ---> |