about summary refs log tree commit diff
path: root/doc/manual/introduction.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-11-19T17·00+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-11-19T17·00+0000
commit63ccd724968569455bb7d54f0badcfec18d18e9d (patch)
treeb36b7606f6973b000ba7ebd9f6204c50110467b6 /doc/manual/introduction.xml
parente13da525a7c16200f451fafb832993b47d407418 (diff)
* Updated the manual.
Diffstat (limited to 'doc/manual/introduction.xml')
0 files changed, 0 insertions, 0 deletions