about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-11-16T11·56+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-11-16T11·56+0000
commit63ee5e4d2a46c3619c59307d7dbb08f25d32c3e8 (patch)
tree1b2354e7fc7bd97dcf469e91b2327c1649c4cf81 /doc
parenta5952405d2803ae0d29955fe6725cd9195327a07 (diff)
* Remove obsolete line.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions