diff options
| author | Pierre Courtieu | 2006-07-20 08:30:34 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2006-07-20 08:30:34 +0000 |
| commit | 67b217606f87cb13be362982c2ec7f996f7a281d (patch) | |
| tree | 054c2c1608b02e38c7cf144ce4f9f054b0153010 /pgshell | |
| parent | ceb90ae8673b7a7989c8049000e4ec95cf727667 (diff) | |
fixed a bug with scripting with coq v8.0.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions