about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-11-19T13·18+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-11-19T13·18+0000
commit6c2c771af7b1fc35a33e1faf0e4e7b266fe44e79 (patch)
treef742805fc96be419f5ae8e2f421b63cd981cdc70 /doc
parent07d3a38726aeb9544212c14c8db5bdcdb7da785b (diff)
* Removed obsolete option.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions