diff options
| author | Assia Mahboubi | 2008-01-30 13:19:51 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2008-01-30 13:19:51 +0000 |
| commit | 1021abe5f58aed0e35229007b6b051dccfc32fc7 (patch) | |
| tree | 5b0a2d57bc17592de716bc96467401ea7ebc1a43 /pgshell/example.pgsh | |
| parent | 5fba9716c356320b3a8c26523a364c1defd39b0f (diff) | |
coq : sorry, reverting previous buggy customization
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions