diff options
| author | David Aspinall | 2008-01-29 09:35:07 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-29 09:35:07 +0000 |
| commit | 802fe6389307a2a7a69786d95abb2a7fd72a3595 (patch) | |
| tree | 0c159515f2dc684af13d123b4b6362f2cc236a9e /pgshell/example.pgsh | |
| parent | a0db7eb3bcaf6a98deca80c7830fff2c4a458c45 (diff) | |
Fix behaviour of proof-x-symbol-enable to follow customize
setting.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions