about summary refs log tree commit diff
path: root/doc/dev
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-04-14T12·49+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-04-14T12·49+0000
commit816dd3f0612111718c338842283c1ee6577b9f0a (patch)
tree1623434b515acb2803985c9cd6808b397dacda38 /doc/dev
parent011b5da0f46e9796fc68bc5daf5fe4dd4b57f933 (diff)
* Remove more obsolete code.
Diffstat (limited to 'doc/dev')
0 files changed, 0 insertions, 0 deletions