about summary refs log tree commit diff
path: root/doc/manual/manual.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-09-28T09·00+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-09-28T09·00+0000
commited4de220d29414be504a9f73bf86e0cef2e8dfba (patch)
tree68437b84ad71c376c4e1aa2aeb0aabff986ddb5b /doc/manual/manual.xml
parentebfe57166dcf14b0033b4f3d3be3bb1289a19c07 (diff)
* Use "source" instead of ".".
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions