diff options
| author | Pierre Courtieu | 2004-04-15 08:01:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-15 08:01:16 +0000 |
| commit | 229b06e7b4b4addeec4323c1243270c510733a9f (patch) | |
| tree | 5ec49b8b8f0d5571877c4f2e62732a685bd78eb7 /pgshell | |
| parent | a35b5be37664216deb2afb2ec63009637846d9cc (diff) | |
fixed some words in coq changes.
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions