diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-08T15·01+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-08T15·01+0000 |
| commit | b5942155314ea4b479fabde6ce236866f5ef4b97 (patch) | |
| tree | 798889a5b7fb696dc6eafbdbdf732cd493e0e5fc /doc/manual/common-options.xml | |
| parent | 5346536b626a047d53f9c44d6562cfaeffe27f14 (diff) | |
* Manual updates.
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: ---> |