diff options
| author | David Aspinall | 2011-05-12 15:55:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-12 15:55:01 +0000 |
| commit | 5844378a7832eb8a2ef649c205dc3c1ef200106b (patch) | |
| tree | 61c6ec9466e70aa8a3de7dc838d5dfd674e61e42 /pgshell/example.pgsh | |
| parent | bf2f847ac8636952434237dae91b8dcadb04f170 (diff) | |
Tweak for `proof-segment-up-to-using-cache': better handling of
proof-last-edited-low-watermark.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions