summaryrefslogtreecommitdiff
path: root/doc/doc-src
diff options
context:
space:
mode:
authorPhilip Hazel <ph10@hermes.cam.ac.uk>2005-10-12 10:07:00 +0000
committerPhilip Hazel <ph10@hermes.cam.ac.uk>2005-10-12 10:07:00 +0000
commitcb9328de6d563ae06ee04aa2180416bb8967145b (patch)
tree6ae13a9fb0f2e57f408ba0a933190546cb8a10c0 /doc/doc-src
parentcc38ddbf11c08a9edf41726005623b2061397411 (diff)
Generate an error if the third argument to ${prvs is not a single digit.
Diffstat (limited to 'doc/doc-src')
0 files changed, 0 insertions, 0 deletions