summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-11-28 09:47:20 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-11-28 09:47:20 +0000
commit4bc97d56b39a0b4ac43e06e016f4c96e191323ee (patch)
tree32d690418812e0a093bfe0aa4b0989410c25b571 /doc
parentd27f1df3feb4ff58a8e3948b91797111d62f73e2 (diff)
Remove extra copy of new debug code that somehow got inserted twice.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions