aboutsummaryrefslogtreecommitdiff
path: root/script-management.info
diff options
context:
space:
mode:
authorHealfdene Goguen1998-06-10 14:00:21 +0000
committerHealfdene Goguen1998-06-10 14:00:21 +0000
commit58450f52a0cf9ef64f2545bcca9a594d52bfeff6 (patch)
tree2618eecda3e969432b0e998e8d6d7a7f1cd45668 /script-management.info
parentb4b24ed0907d3612a924376d22e71e406b1e2950 (diff)
In proof-init-segmentation, only create proof-queue-span and
proof-locked-span if they don't already exist. Call generic span function for making spans read-only.
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions