diff options
| author | David Aspinall | 2010-09-29 12:20:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-29 12:20:10 +0000 |
| commit | c4ec51bc48097bb0b8947b7ac7d78a8b4de4a6f2 (patch) | |
| tree | 7c84bbfda4000cf9704656242ce26a99d10fb859 /pgshell/example.pgsh | |
| parent | d12604ffc699a283fa92ec8b6845238d6f2f55af (diff) | |
Support proof-shell-init-cmd being a list
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions