about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-12-05T16·17+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-12-05T16·17+0000
commit62b0497c0f2e1b269c7284684524d20c39c1d519 (patch)
treea0bfc6e0f67db22417ea18bdbee73b9e5d88cfc4 /doc
parentc808e6252f7ba6d02834c591e0e4bcfbc8476635 (diff)
* Better message.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions