about summary refs log tree commit diff
path: root/misc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-01-20T16·01+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-01-20T16·01+0000
commit6a0a2d559336b3a7a165fb0f87f5e70caa9d8d72 (patch)
tree0ec39aaa3ed200d9d0fa5be37eed0a7f7b2a218e /misc
parent6bb5efadeceb8c4666c227a44113709bb47d23cb (diff)
* Terminology fixes.
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions