about summary refs log tree commit diff
path: root/doc/manual/opt-common.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-11-09T14·06+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-11-09T14·06+0000
commit32c73268502e35af54953e23038018edb8ce5685 (patch)
tree64a21b6279e62a94113587e16847f2774573d74a /doc/manual/opt-common.xml
parent92ee003dc985e6f8331270068b10ca52e9cef793 (diff)
* Typos.
Diffstat (limited to 'doc/manual/opt-common.xml')
0 files changed, 0 insertions, 0 deletions