about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-04T09·38+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-04T09·38+0000
commit719cebcac2e31e6c9e4f747ae35b8e6800952e0c (patch)
tree58dc9c538ce65a143bc43e78c3248d570f084478 /doc/manual
parent443673620d908cb35c569c929701ba6b4c9dfc69 (diff)
* "Fix" incorrect help message.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions