diff options
| author | Makarius Wenzel | 2009-09-04 15:32:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-09-04 15:32:09 +0000 |
| commit | 913663834e5e5ce2818b3ec6218131c19863e802 (patch) | |
| tree | 89e8846470064f5ee747ed3bc14e8b938bcadbd1 /pgshell/example.pgsh | |
| parent | da36b8c432608290b5df02134d3fbfccfe097e7d (diff) | |
fixed theory name;
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions