diff options
| author | courant | 2000-04-21 08:47:57 +0000 |
|---|---|---|
| committer | courant | 2000-04-21 08:47:57 +0000 |
| commit | dbde18a6eb9a8fca81a3e95209afdb8cfab4d26f (patch) | |
| tree | f7c29ed190c2b2948d986ce6cc33aadbf04e5c28 /scripts | |
| parent | 9c6697d52b62221255830c22d62f16ce08797ddf (diff) | |
Sign.db_signature is now an abstract type
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@364 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions