diff options
| author | David Aspinall | 2011-04-13 11:24:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-04-13 11:24:52 +0000 |
| commit | 73617c15286def069e3b0a49c37805c42ccb6e56 (patch) | |
| tree | 5514e5e34d16b26fd937dde5953ee1842d4c3166 /pgshell/example.pgsh | |
| parent | 3884744c21350c79390888cab39e9cf82dcbf487 (diff) | |
proof-shell-insert-hook: Clean docstring, addressing #396.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions