diff options
| author | David Aspinall | 2004-06-17 21:40:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-06-17 21:40:20 +0000 |
| commit | 05f5c056220fcf555b2b9a64a8657f580f07a4e7 (patch) | |
| tree | fab14055299ed817681b8b54c5c7fbc7117681b5 /pgshell | |
| parent | 3af94770dad3d79ab3b2fe6b5138fdd1b98bd9c4 (diff) | |
Make theory name match file name
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions