diff options
| author | David Aspinall | 2007-12-14 10:41:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-14 10:41:01 +0000 |
| commit | 58d2eb396b55adb9241a58d97747deadb9d0d76b (patch) | |
| tree | 8d87999a2d032aa2021dcb711017dc48e1234d6f /pgshell | |
| parent | a8e8ffa54ac578e5657853bd163c5b09a313f178 (diff) | |
Rename: proof-show-debug-messages -> proof-general-debug
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions