about summary refs log tree commit diff
path: root/doc/manual/introduction.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-12-02T15·36+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-12-02T15·36+0000
commit16d971bce70a2b3aab1d3c60101e00f264159c07 (patch)
tree37df452b1f9a43faf187ec322da1332628522df1 /doc/manual/introduction.xml
parent0d3a1a8582a7b0120e35c507165db6d02ceea258 (diff)
* A nice stylesheet for the manual.
Diffstat (limited to 'doc/manual/introduction.xml')
0 files changed, 0 insertions, 0 deletions