about summary refs log tree commit diff
path: root/doc/manual/manual.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-20T11·49+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-20T11·49+0000
commit8baf50f10821e6def3006af8ff8b8739c66b028a (patch)
treefa9683bcfd10dfb58c03174e341f20d12de62553 /doc/manual/manual.xml
parent699989b2168bed80cc1383e5bf3c8326d55a3cc1 (diff)
* Manual updates.
* Updated the README.  Now it just refers to the manual.

Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions