diff options
| author | David Aspinall | 2010-10-10 13:23:39 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-10 13:23:39 +0000 |
| commit | a80aa5dcf27747df92722ba64a8167930c9c9318 (patch) | |
| tree | 0e001b49dc0dc4ac20cbb0468a7b7a9158613b1c /pgshell | |
| parent | aa05014e57a142a4df724afb7566a5fcb9791036 (diff) | |
Adjust a comment on proof-shell-mode
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions