summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-10 14:48:07 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-05-10 14:48:07 +0000
commita4e3111f2b200abc53c4a23133698d765e201600 (patch)
tree194cfc2a60f7ea9354095574346abc4d0b2c69ca /doc
parent22907b39ade6b33cf2f7bca0c376505b3261ab0b (diff)
Add commented-out example of CSA check to the default configuration.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions