diff options
| author | Pierre Courtieu | 2000-11-23 10:25:16 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2000-11-23 10:25:16 +0000 |
| commit | c0e191dfe45e32dd49ab704b52a76d17fa40d52a (patch) | |
| tree | ffba1706555b32d439e49b0211a52b7ac84b2a9f /generic/pg-pgip.el | |
| 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 'generic/pg-pgip.el')
0 files changed, 0 insertions, 0 deletions