diff options
| author | David Aspinall | 2008-01-28 20:09:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 20:09:01 +0000 |
| commit | e069c5537812431fb268395c339ec5b3b9f8b814 (patch) | |
| tree | 76e1f9b99b13543316bedf877e9e4301d8a74dd9 /pgshell/example.pgsh | |
| parent | 52287bde38b57d16a51b640d9f8202a6b176bc16 (diff) | |
Fix to proof-x-symbol-enable: only engage when indeed being turned on.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions