summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-31 11:10:50 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-31 11:10:50 +0000
commitb90c388a0e57c501cd55cc701dc57fe824bc115b (patch)
tree6bc58151c21d57547c59427be26ee247fcbf4e1e /doc
parent2a4be8f93bd41c49707fe5e6ce2d782b709b551c (diff)
Minor tweak to a comment.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions