aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/quick-start.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-10-13 15:08:35 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-10-13 15:08:35 +0000
commit2b20701f7895101c8ef8c989fccf702081615120 (patch)
tree090d43679fa4d00c3c9113f860d4514c5433a3e4 /doc/manual/quick-start.xml
parent13172427806ad41fb3896c2e3ced1cf9672bb081 (diff)
* Better introduction.
* Set notes in a different color than warnings.
Diffstat (limited to 'doc/manual/quick-start.xml')
0 files changed, 0 insertions, 0 deletions