summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2006-10-31 11:37:47 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2006-10-31 11:37:47 +0000
commitcfc5483092684ed5775a8e0d9b3071ee2c37780c (patch)
treec8c8c1784348bdb17b070fa29716e7147d234923 /doc
parentc1114884ce069db8d691e217cc79b2e5ff242df8 (diff)
Minor tidy to test script, and update the README for some omitted
commands.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions