diff options
| author | David Aspinall | 2004-04-14 17:25:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 17:25:52 +0000 |
| commit | 50c5e88196ad1b7ab0483a9e23f9035733a89c2e (patch) | |
| tree | 68e109b4592202692135be07a69ffb8ec7e069ce /pgshell/example.pgsh | |
| parent | bc46e17d34f7156b8d576142fb6146b8fe59489e (diff) | |
Remove X-symbol support from secondary provers temporarily
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions