diff options
| author | David Aspinall | 2007-12-10 11:30:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 11:30:22 +0000 |
| commit | 6b9d0ef562f909b2a47664c8d381d888da74a189 (patch) | |
| tree | 9aeb1149f78f2da3335fc708ecd2f0d06723c1c2 /pgshell | |
| parent | 9d9fe4ee3ae54c3b0937e5a5d6f57e6f30a418bd (diff) | |
proof-x-symbol-initialize: fix default mode name construction
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions