about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2011-12-01T13·51+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2011-12-01T13·51+0000
commit23c38a04ccba4469b9aa98167532c236beeee0a0 (patch)
tree49e2bb12c15acf7a9e54efe7a3e283afcc1c870b /doc
parent24f863d86b0316c736fe9e89998cd442b8a400dd (diff)
* Slight improvement.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions