diff options
| author | David Aspinall | 2009-09-04 15:21:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 15:21:14 +0000 |
| commit | 0c855d12fe8d21f0ab1dbe3288c6d47fac9c66f4 (patch) | |
| tree | ad3e77a57a7017705092e13612ea25654a41a615 /pgshell/example.pgsh | |
| parent | 06aaa6ab6ac0dc980176695a47a405e4fed86ba4 (diff) | |
proof-file-to-buffer -> find-buffer-visiting
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions