diff options
| author | David Aspinall | 2006-05-26 14:15:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-05-26 14:15:30 +0000 |
| commit | 9d345c9ac435bf79541dd0cc3634375af9f7ece3 (patch) | |
| tree | 008523cd306ac7e25556db3d874fa9fe9b0b75f8 /pgshell | |
| parent | 2991d4ee7958cbdf3b69f0a896b1ae5a454e1349 (diff) | |
Fix to work with coq 8.1 again (havent tested 8.0)
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions