diff options
| author | David Aspinall | 2004-03-01 17:54:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-03-01 17:54:43 +0000 |
| commit | 9e687f7e1a7a6c2f4cc916aea2c6c0a153d9900c (patch) | |
| tree | b42c71973a5447e3e7f320b3070bb694c1320eff /pgshell | |
| parent | 5d91731fe1f2fb4d371f40c644d78b09ed4641a0 (diff) | |
Remove non-existent proof-state-command setting
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions