diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2000-11-23 10:25:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2000-11-23 10:25:16 +0000 |
| commit | c0e191dfe45e32dd49ab704b52a76d17fa40d52a (patch) | |
| tree | ffba1706555b32d439e49b0211a52b7ac84b2a9f /images | |
| parent | 7bc4491268808bb6dd8c45a66b46683eeac1940c (diff) | |
I am starting to make PG coqV7 compatible, I think the best is to
allow both V6 and V7 for a while. Theoretically, incompatibilities
will not be numerous.
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions