diff options
| author | David Aspinall | 2009-10-03 14:07:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-03 14:07:22 +0000 |
| commit | 8e38eaf42d3dd22db8d13d9d1eb2c783e6bb789c (patch) | |
| tree | 49e8321e146e2b666bfac741c4e397555c1ec2ea /pgshell/example.pgsh | |
| parent | e22e952286d93a42ed78da6fe21093f96f4ff00d (diff) | |
proof-assert-electric-terminator: repair so works at end of buffer
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions