diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-20T11·49+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-20T11·49+0000 |
commit | 8baf50f10821e6def3006af8ff8b8739c66b028a (patch) | |
tree | fa9683bcfd10dfb58c03174e341f20d12de62553 /doc/manual/introduction.xml | |
parent | 699989b2168bed80cc1383e5bf3c8326d55a3cc1 (diff) |
* Manual updates.
* Updated the README. Now it just refers to the manual.
Diffstat (limited to 'doc/manual/introduction.xml')
-rw-r--r-- | doc/manual/introduction.xml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml index b41cad0a80fc..02a4383361ca 100644 --- a/doc/manual/introduction.xml +++ b/doc/manual/introduction.xml @@ -91,11 +91,3 @@ </para> </chapter> - - - -<!-- -local variables: -sgml-parent-document: ("book.xml" "chapter") -end: ---> |